EmbraceOfDeath posted...
All they've proved is the halting problem exists. Yes, reality is not a computer simulation using
our
model of computing. That doesn't prove anything about a theoretical model of computing that could simulate a universe.
Even if you found this line of reasoning convincing, you really are just back to the philosophical problem of the evil demon that is tricking you by providing false sensory data. If both the universe and ourselves are simulated, it may simply be that a designated property of the simulation that it is impossible to create nested simulation or impossible for generated minds to think of a means of doing so (say, to save on processing power in the "real" universe). There may also be novel physics or mathematics that exist in the "real" universe but that don't exist here. In fact, that's a pretty convincing reason for creating a simulation of a universe in the first place.
The same problem comes about if you imagine that we are inside of simulation that is actual some sort of game where at least some of us are "players". It's perfectly plausible to imagine that there is a block on players recalling that they are players, or anything about their real lives. The apparent unreality of the simulation could be added realism by the designers.