Aside from the sensationalism, I remark that you’re (re)defining “simulation” to mean “world whose behaviour is equivalent to that of a simulation” and that the axiom you adopt in step 1 already transparently implies that our world is such a world. So you kinda do have a proof—but it’s of the form “Suppose p. Then it follows that p.”.
Aside from the sensationalism, I remark that you’re (re)defining “simulation” to mean “world whose behaviour is equivalent to that of a simulation” and that the axiom you adopt in step 1 already transparently implies that our world is such a world. So you kinda do have a proof—but it’s of the form “Suppose p. Then it follows that p.”.