量子原理与数学可计算性

鉴于计算终究是物理的，我们认为物理学，尤其是量子物理学，可有助于拓展可计算性的概念。在此，我们列举量子力学的重要且独特之特征，随后针对数学中不可解问题之一——希尔伯特第十问题以及等价的图灵停机问题——勾画一种量子力学“算法”。该算法的关键要素在于物理可观测量之取值以及这些取值的量子力学概率分布两者的可计算性与可测性。