Suppose we discover our universe is a simulation. This would imply that the universe is Turing-computable. Would there not therefore exist a "Grand Unified Theory" that simply described, with absolute precision, the operation of the simulator? Or would it be impossible to produce such a specification?
So if you Gödelized the universe - mapped every conceivable state to a number (proving that that is possible left as an exercise for the reader) - then created mathematical operations on those numbers that transitioned the universe from one state to another 'physically possible' successor state.. I guess Gödel would be able to give you a number representing a universe such that you could not prove whether its state was possible or not?
Then all you have to do is demonstrate that we live in such a universe, and all the philosophers can retire because we've found the ultimate answer to the ultimate question.
I think we all know exactly what the Gödel number for our universe would be...
Comments
Hmm. That's an interesting counterpoint.
Suppose we discover our universe is a simulation. This would imply that the universe is Turing-computable. Would there not therefore exist a "Grand Unified Theory" that simply described, with absolute precision, the operation of the simulator? Or would it be impossible to produce such a specification?
So if you Gödelized the universe - mapped every conceivable state to a number (proving that that is possible left as an exercise for the reader) - then created mathematical operations on those numbers that transitioned the universe from one state to another 'physically possible' successor state.. I guess Gödel would be able to give you a number representing a universe such that you could not prove whether its state was possible or not?
Then all you have to do is demonstrate that we live in such a universe, and all the philosophers can retire because we've found the ultimate answer to the ultimate question.
I think we all know exactly what the Gödel number for our universe would be...
420?
My money's on 69.
Rudy Rucker had some interesting conversations with Gödel about a deterministic universe in which (because time is illusory) backward time travel exists: http://www.rudyrucker.com/blog/2012/08/01/memories-of-kurt-g...
Thankyou - fascinating account.
I particularly like how, in describing Gödel's office, he mentions "On the empty desk sat an empty glass of milk." The paradox seems appropriate.