量子原理与数学可计算性
Quantum Principles and Mathematical Computability
摘要：
考虑到计算毕竟是物理的，我们认为物理学，特别是量子物理学，可以帮助扩展可计算性的概念。在这里，我们列出了量子力学的重要和独特的特点，然后概述了一个量子力学的“算法”的数学，希尔伯特的第十和等价的图灵停机问题的一个不解决的问题。该算法的关键要素是物理观测值和这些值的量子力学概率分布的{\em可计算性}和{ \em可测量性}。
英文摘要：
Taking the view that computation is after all physical, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique features of quantum mechanics and then outline a quantum mechanical "algorithm" for one of the insoluble problems of mathematics, the Hilbert's tenth and equivalently the Turing halting problem. The key element of this algorithm is the {\em computability} and {\em measurability} of both the values of physical observables and of the quantum-mechanical probability distributions for these values.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
