Comment by benlivengood

The thought that sticks in my mind is mathematical realism; if we can prove the mathematical existence of the outcome of a simulation (nothing harder than inductively showing that the state of a simulation is well-defined at state S for the first and all successive S) then what's the difference between things in the simulation actually existing v.s. possibly existing? All of the relationships that matter between states of the simulation are already proven to exist if we looked at (calculated) them, so what necessary property can we imagine our Universe having that the possible simulation does not?