[lucozade]

> Doesn't the non-determinism of QM in fact say that there's fundamentally an issue with computability?

I don't see why it should mean that in the theoretical sense. In the sense that it could signal that we are in a simulation that has a precision limitation ie it shows the limit of the computability of the simulation, then that seems quite plausible.

In fact I've argued before that a universe that has a consistent set of (relatively) straightforward rules, with a lot of symmetries, and a precision limit, would probably be hallmarks of a simulated universe. Because it would save on compute assuming that the simulator has vast but finite resources to run the simulation.