可测性与可计算性
Measurability and Computability
摘要：
重新审视了量子力学观测量的可测性与数值函数的可计算性之间的概念关系。为了调和M. A. Nielsen [Phys. Rev. Lett. 79，2915（1997）]，一个特定的可观测的可测量性与丘奇-图灵命题相矛盾。有人认为，任何函数可计算的量子算法是一个递归函数服从丘奇-图灵论文，而任何可观察到的原则上可以测量。
英文摘要：
The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing thesis. It is argued that any function computable by a quantum algorithm is a recursive function obeying the Church-Turing thesis, whereas any observable can be measured in principle.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
