[论文解读] Infinite Time Turing Machines: Supertask Computation

Joel David Hamkins|ArXiv.org|Dec 3, 2002

Computability, Logic, AI Algorithms参考文献 6被引用 7

一句话总结

本文引入了无限时间图灵机（ITTMs），这是一种将经典图灵机扩展至超限序数时间的计算模型，使超任务——包含无限多步的算法——成为可能。主要贡献在于构建了一个稳健的无穷可计算性框架，揭示了虽然在 0 和跳跃 $0^{\blacktriangledown}$ 之间不存在中间的实数度，但实数集合的度结构却极为丰富，从而在超任务背景下以类比于经典 Friedburg-Müntz 优先级论证的正向形式解决了 Post 的问题。

ABSTRACT

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

研究动机与目标

• 形式化一个无穷可计算性的模型，以捕捉超任务——涉及无限多步计算的算法——的理论计算能力。
• 将经典可计算性理论扩展至超限序数时间，使机器能够执行无限次操作序列。
• 分析无限时间图灵度的结构，并确定在 0 和跳跃 $0^{\blacktriangledown}$ 之间是否存在中间度，类比于 Post 的问题。
• 将经典优先级论证技术推广至超任务设置，表明实数集合的度结构极为丰富。

提出的方法

• 将经典图灵机模型扩展至在超限序数时间上运行，允许在极限阶段（如 $\omega$、$\omega+1$、$\omega+\omega$ 等）存在配置。
• 将机器在每个阶段的配置定义为之前配置的极限，通过固定有限程序更新读写头位置和磁带内容。
• 引入两个跳跃算子：弱跳跃 $A^{\triangledown}$，用于判断程序是否在有限时间内停止；强跳跃 $A^{\blacktriangledown}$，用于判断程序是否在任意阶段（包括极限阶段）停止。
• 利用吸收性质 $A^{\triangledown\blacktriangledown} \equiv_{\infty} A^{\blacktriangledown}$，证明强跳跃比弱跳跃具有更强的计算能力。
• 构造一个类比于 Friedburg-Müntz 的优先级论证，以证明在超任务设置下存在不可比较的半可判定实数集合。
• 分析在无限时间可计算性下实数及其集合的度结构，与经典图灵度进行比较。

实验结果

研究问题

• RQ1 在实数的无限时间图灵度背景下，是否存在严格介于 0 和跳跃 $0^{\blacktriangledown}$ 之间的中间半可判定度？
• RQ2 当限制在实数集合而非实数本身时，经典 Post 问题在超任务设置下是否具有正解？
• RQ3 无限时间度结构在多大程度上与经典图灵度结构相似或相异？
• RQ4 经典递归理论中的优先级论证技术在多大程度上可被适配至无限时间设置，以构造中间度？
• RQ5 在计算能力方面，弱跳跃 $A^{\triangledown}$ 与强跳跃 $A^{\blacktriangledown}$ 之间存在何种关系？

主要发现

• 在无限时间度结构中，不存在严格介于 0 和 $0^{\blacktriangledown}$ 之间的实数 $z$，因此实数之间不存在中间度。
• 强跳跃 $A^{\blacktriangledown}$ 吸收了弱跳跃 $A^{\triangledown}$，如吸收性质 $A^{\triangledown\blacktriangledown} \equiv_{\infty} A^{\blacktriangledown}$ 所示，表明计算能力有显著跃升。
• 尽管实数之间不存在中间度，但存在不可比较的半可判定集合 $A$ 和 $B$，使得 $A \perp_{\infty} B$，表明实数集合的度结构极为丰富。
• 实数集合的无限时间度结构支持经典 Friedburg-Müntz 优先级论证的超任务类比，从而在该背景下为 Post 问题提供了正解。
• 跳跃定理在无限时间设置中成立：$A <_{\infty} A^{\triangledown} <_{\infty} A^{\blacktriangledown}$，表明计算能力存在严格层级。
• 结果 $0^{\triangledown} <_{\infty} 0^{\blacktriangledown}$ 暗示弱停机问题 $h$ 严格弱于强停机问题 $H$，确认了两者之间非对称的关系。