[shtzvhdx]

This all assumes there's no computation beyond a Turing machine, right? Therefore, this assumes reality is a simulation on a finite set of rationals?

So, as long as one believes in continuum, this is just toying around?

[analog31]

We've yet to propose an experiment that demonstrates the inadequacy of IEEE floats if used carefully. The simulation only needs to be good enough.