Comment by lokedhs
7 years 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.
Is 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?