Computable Functions, Quantum Measurements, and Quantum Dynamics
Abstract
We construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolutions, would contradict the Church-Turing thesis which lies at the foundation of computer science. We conclude that either the Church-Turing thesis needs revision, or that only restricted classes of observables may be realized, in principle, as measurements, and that only restricted classes of unitary operators may be realized, in principle, as dynamics.
- Publication:
-
Physical Review Letters
- Pub Date:
- October 1997
- DOI:
- arXiv:
- arXiv:quant-ph/9706006
- Bibcode:
- 1997PhRvL..79.2915N
- Keywords:
-
- Quantum Physics
- E-Print:
- 4 pages, REVTEX