[dofm]

> but it presupposes that there is a theory of everything that can be used to perfectly simulate the universe, and I'd like to remind everybody that we still don't know whether such a thing exists

Is it even possible that a complete simulation of the rules of this universe (let alone the content of it) could exist in this universe?

I am no expert but I did manage to read most of GEB [0] so I feel fully qualified to say that it feels like something Gödel would have opinions about?

[0] the honest nerd's "did sleep in a Holiday Inn last night"

[eru]

> Is it even possible that a complete simulation of the rules of this universe (let alone the content of it) could exist in this universe?

Yes, it is possible! See how a Quine is constructed.

https://en.wikipedia.org/wiki/Quine_(computing)

As an analogy: you can have a zip archive that expands to itself. Or even more so: to itself (the simulation of itself in itself) plus something arbitrary (standing in for the rest of the universe).

[CorrectHorseBat]

There's also information in the compiler and the zip binary, without that I'm pretty sure it's not possible.

[eru]

You can stick a full copy of the compiler and the zip binary into that archive, if you want to.

The 'intron' can be arbitrarily large.

You can add the complete schematics for your CPU. And the standard model of particle physics.

[cwillu]

It is entirely possible (if perhaps unlikely) that the correct theory of everything is a relatively straightforward expansion of the current standard model.