Canadian Quantum Research Center

Non-algorithmic Truth and the Structure of Reality: Distinguishing the Mental and Real Lucas-Penrose Arguments

Abstract Can physical reality be fully captured by an algorithmic Theory of Everything? We argue not. Gödelian incompleteness shows that no sound, recursively axiomatizable formalism proves all truths of a sufficiently rich domain, while Tarskian undefinability shows that no such...