Hacker News new | ask | show | jobs
by wasabi991011 18 days ago
Agreed, and I'll add: the universe is sufficiently messy and complex that some of the claimed undecidability results may never occur in practice.

For your Turing machine example: even if we built such a machine, it would never truly be giving an answer to the halting problem, because any stray cosmic particle could excite the electron and cause it to cross whatever plane.

For a more realistic example: the ground state of an molecule is a physically relevant quantity, and in theory any molecule alone should lose energy and attain it's ground state, even if finding the ground state electronic configuration is undecidable. But in reality, no molecule is ever truly isolated and so would never actually be guaranteed to enter it's ground state (or if it were truly isolated, it would not be observed at all rendering the question moot)

1 comments

A quantum Turing machine would be needed to simulate a truly quantum process. Stochasticity exists in classical systems, but that's an entirely different type of randomness.
Quantum computation is not super-Turing: anything you could solve with a quantum Turing machine you could also solve with a classical Turing machine, albeit sometimes a lot slower. We know how to emulate quantum systems in classical systems.
Quantum computers can be simulated on classical computers, but it takes exponential time (completely impractical).