3 ms·
The answer is no. Gödel's incompleteness theorem is interesting here as it states that within a given axiomatic system, there are facts that are true but not pr
by lokedhs 8y ago
The answer is no. Gödel's incompleteness theorem is interesting here as it states that within a given axiomatic system, there are facts that are true but not provable within that same axiomatic system.
Another way to think about it is that if we are part of a set of fundamental rules that make up a simulation, it's impossible for us to prove everything about that system.
- newsbinator 8y agoIs there a loophole? If the creatures within a simulation can make contact with the creatures (or physics) outside it, then perhaps they can look in from the outside, to get all the information necessary for any proof?