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.
No takes yet. Share an insight, caveat, or question.
Michael A. Nielsen (1997) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: