1. Constraints on the Universe as a Numerical Simulation;Bean,2012
2. Toward a mathematical theory of inductive inference;Blum;Information and Control,1975
3. Complexity and Real Computation;Blum,1998
4. The Logic of Provability;Boolos,1993
5. Leven, Kunst en Mystiek;Brouwer,1905