[论文解读] Non-Turing computations via Malament-Hogarth space-times

Gábor Etesi, István Németi|ArXiv.org|Apr 9, 2001

Computability, Logic, AI Algorithms参考文献 16被引用 51

一句话总结

本文提出了一种基于马兰坦-霍加斯时空的相对论性计算模型，通过利用黑洞附近的无限时间膨胀效应，实现非图灵计算。在经典广义相对论框架下，观察者可在有限固有时内验证图灵机经过无限步后的停机状态，从而计算非递归函数——这挑战了在相对论物理中图灵论题的必要性。

ABSTRACT

We investigate the Church-Kalmár-Kreisel-Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church-Turing-type Theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choose to use. In particular, if we choose classical general relativity theory as our background theory, then the above mentioned limitations (predicted by these Theses) become no more necessary, hence certain forms of the Church-Turing Thesis cease to be valid (in general relativity). (For other choices of the background theory the answer might be different.) We also look at various ``obstacles'' to computing a non-recursive function (by relying on relativistic phenomena) published in the literature and show that they can be avoided (by improving the ``design'' of our future computer). We also ask ourselves, how all this reflects on the arithmetical hierarchy and the analytical hierarchy of uncomputable functions.

研究动机与目标

• 探究在经典广义相对论背景下，Church–Kalmár–Turing 论题对计算理论极限的限制是否仍然有效。
• 通过证明在马兰坦-霍加斯时空中可计算某些非递归函数，挑战图灵论题的必要性。
• 分析并反驳先前提出的相对论性计算的物理障碍，证明其在经典广义相对论中可避免。
• 研究此类计算对不可计算函数的递归层次与解析层次的影响。
• 评估该相对论性计算模型在量子引力效应下的鲁棒性，承认当前理论的局限性。

提出的方法

• 利用马兰坦-霍加斯时空，其包含具有无限固有时的类时曲线（γP），并在一个共同事件（p）处可接收来自γP的信号。
• 设计一个 Gedanken 实验：两名观察者，γP（落入黑洞）执行无限计算，γO（静止于黑洞外部）接收来自γP的信号。
• 依赖克尔黑洞时空的因果结构，确保γO可在有限时间内接收γP在无限步序列之后发出的信号。
• 应用原理：若γO能以任意接近马兰坦-霍加斯事件p的方式检测到γP的信号，则其可对检测时间进行任意精确的测量。
• 通过利用普朗克时间界限分析时间测量精度，表明量子引力可能通过普朗克时间尺度限制无限精度时间测量的可行性。
• 考虑量子效应如黑洞蒸发与量子涨落，这些在完整的量子引力框架下可能破坏计算的实现。

实验结果

研究问题

• RQ1 是否可利用相对论性时空结构在有限时间内计算非递归函数？
• RQ2 经典广义相对论的物理假设是否否定了图灵论题对理想化计算系统的必要性？
• RQ3 先前提出的相对论性计算障碍（如信号检测、时间测量精度）在经典广义相对论中是否在物理上不可逾越？
• RQ4 马兰坦-霍加斯时空的存在如何影响不可计算函数的递归层次与解析层次？
• RQ5 量子引力效应（如普朗克尺度时间限制、黑洞蒸发）对这种相对论性计算模型的可行性有何影响？

主要发现

• 在马兰坦-霍加斯时空中，观察者γO可接收来自经历无限固有时的世界线γP的信号，从而在有限时间内验证无限计算。
• 该模型表明，非递归函数——特别是图灵机的停机问题——可被γO在有限时间内判定，从而实现非图灵计算。
• 所有先前提出的此类计算的古典障碍（如信号检测、时间测量精度）均可在经典广义相对论框架内避免。
• γO所需的时间测量精度在经典物理中并非根本障碍，尽管量子引力可能通过普朗克时间尺度施加限制。
• 黑洞蒸发与量子涨落等量子效应可能在完整的量子引力框架下最终阻止该模型的实现。
• 结果表明图灵论题并非普遍成立；其有效性取决于所选择的物理背景理论，广义相对论允许超计算。