qqp question1: Has the Big Bounce been dis-proven or is it still a competitor to String theory? question2: Theory of Computation: Has the halting problem of Turing Machine been proven to be decidable?