计算不可计算者

我们在量子计算框架下探讨可计算性概念，该概念在数学与理论计算机科学中占据核心地位。针对希尔伯特第十问题——它等价于图灵停机问题且已知为数学上不可计算的——考虑了利用量子绝热过程的量子算法。还考虑了针对同属及不同不可计算类的其他一些数学不可计算问题的广义量子算法。所有这些算法的关键要素在于物理可观测量取值及其量子力学概率分布二者均可测量。我们认为，可计算性因而数学的界限，不应仅由数学自身决定，也应由物理原理决定。