[论文解读] The Church-Turing thesis as a guiding principle for physics

Karl Svozil|ArXiv.org|Oct 22, 1997

Computability, Logic, AI Algorithms参考文献 43被引用 34

一句话总结

本文將邱奇-图灵论题視為物理學的基礎原理，主張物理定律限制了可計算性。文章探討了『芝諾壓縮』的時間週期，使無限計算能在有限時間內完成，從而使非可計算問題（如停機問題）變得可解，並研究可逆（雙射）計算，表明測量的不可逆性可能只是實務限制的結果，而非基本物理法則的本質。

ABSTRACT

Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a variant of the Eleatic argument against motion, dealing with Zeno squeezed time cycles of computers. The second argument reviews the issue of one-to-one computation, that is, the bijective (unique and reversible) evolution of computations and its relation to the measurement process.

研究动机与目标

• 探討邱奇-圖靈論題是否不僅僅是數學假設，而應被視為約束計算的物理原理。
• 分析利用時間壓縮週期在有限時間內執行無限計算的物理可行性，靈感來自芝諾悖論。
• 研究一一對應（雙射）計算在量子測量與測量結果表觀不可逆性之間的關係。
• 挑戰測量不可逆性為基本特性的假設，主張其可能源自實務限制而非物理法則。

提出的方法

• 構建一個理論上的「芝諾壓縮神諭機器」，利用週期時間的幾何級數縮放，使計算步驟被壓縮，從而使無限序列的步驟在有限外部時間內完成。
• 使用兩種時間尺度：內在離散週期時間（t = 0,1,2,...）與本質時間τ，其中τ隨著t增加而趨近無窮大，進而實現有限物理時間內的無限計算。
• 將該模型應用於解決非可計算問題，如停機問題，並在有限時間內生成蔡廷的Ω（算法隨機數）。
• 透過置換矩陣（例如6×6矩陣U）分析可逆自動機，顯示測量結果取決於資訊提取的時機與介面。
• 將測量建模為資訊儲存在系統中的過程；若要防止逆轉，則必須造成資訊的不可逆損失，暗示不可逆性並非本質特徵，而是操作性特徵。
• 與量子力學類比，特別是薛丁格的「期望值目錄」，暗示若資訊被保存，波函數坍縮在原則上可能是可逆的。

实验结果

研究问题

• RQ1 物理系統是否能在有限時間內執行無限計算？若能，其條件為何？
• RQ2 邱奇-圖靈論題是否可作為物理原理成立？抑或物理法則容許超計算？
• RQ3 量子力學與計算中測量的表觀不可逆性是否為基本特性，還是資訊損失的產物？
• RQ4 一一對應（雙射）演化在計算中與測量過程及資訊結構之間有何關係？
• RQ5 是否能利用時間壓縮計算的物理系統，在有限時間內產生非可計算函數（如蔡廷的Ω）？

主要发现

• 芝諾壓縮神諭機器可在有限本質時間內執行無限次計算步驟，從而解決停機問題。
• 蔡廷的Ω——一個算法隨機且不可計算的數——可透過此類機器在有限時間內生成，顯示物理上的超計算。
• 透過雙射映射（例如置換矩陣）實現的可逆計算顯示，測量結果取決於資訊提取的時機與介面，而非動力學的不可逆性。
• 可逆系統中測量結果的邏輯分區可為非布林（非可分配）結構，例如同構於MO₂，顯示即使在雙射演化中亦存在非經典特性。
• 測量的不可逆性可能並非基本特性，而是資訊擦除或損失的實際後果，暗示量子態重建在理論上是可能的。
• 在一一對應的可逆宇宙中，所有計算與測量皆可視為單一、守恆「訊息」的置換——此觀點與某些量子力學的形而上學詮釋相符。