Operational Evidence and Incompleteness: A Minkowski Radar Model

科学という広大な風景の中で、私たちが「測定できること」と「知り得る（知的な理解に到達できる）こと」の間には、根本的な緊張関係が存在する。私たちは、ある問いに明確な答えがあるならば、十分に巧妙な実験や強力な理論が、いずれそれを明らかにしてくれるはずだと想定しがちである。この信念は、物理学や数学に対する私たちの自信の根拠となっている。すなわち、宇宙は秩序立っており、それを理解するための私たちの道具は、原理的にはあらゆる論争を解決できる能力を持っているという信念である。しかし、計算理論として知られる特定の数学の一分野は、この自信には明確な限界があることを長らく示してきた。それは、あるコンピュータ・プログラムが仕事を終えるかどうかという問いについて、いかなる単一の整合的な規則の集合も、あらゆるケースに対して答えを出すことはできないという事実を証明している。これらは、データの欠如や技術の不足による問題ではなく、論理的に証明できる範囲における構造的な空白なのである。この抽象的な数学的限界が、現実世界にも対応するものなのか、それとも純粋な論理の領域に限定された好奇心の対象に過ぎないのかという問いが、長く残されてきた。

ミラ・ロスコによる新しい論文は、この抽象的な限界を、レーダーと時刻計測という物理的な世界へと持ち込んでいる。この研究は、新しい機械や新しい物理法則を提案するものではなく、距離を測定するという物理的な行為と、コンピュータの挙動を予測するという論理的な問題との間の架け橋となる思考実験を構築するものである。ロスコは、特定の距離に配置された単一の観測者と静止した鏡（反射鏡）を想定している。観測者は光のパルスを放出し、それが鏡で跳ね返って戻ってくる。パルスが往復する時間を測定することで、観測者は鏡までの距離を極めて高い精度で計算できる。このセットアップは単純であり、光の速度が一定であるという標準的な理解に基づいている。革新的な点は、測定の物理学にあるのではなく、鏡までの距離がどのように定義されるかにある。このモデルにおいて、距離は「10メートル」のような固定された既知の数値ではない。その代わりに、距離は特定のコンピュータ・プログラムの挙動に紐付けられている。もしプログラムが最終的に停止すれば、距離はある特定の値となり、もしプログラムが永遠に走り続ければ、距離はわずかに異なる値となる。

この発見の核心は、この距離のいかなる単一の測定も有限の時間内に完了できる一方で、距離の真の性質を知る能力は根本的に阻害されているということである。研究者は、いかなる特定の精度レベルにおいても、観測者は終了して結果を生み出す測定を行うことができることを示している。もしコンピュータ・プログラムが停止する場合、測定は最終的に、距離がある特定の狭い範囲内に存在することを明らかにする。もしプログラムが停止しない場合、測定はエンクロージャ（囲い）の中に値1が含まれていることを示し、検証チェックを失敗させる。これは、成功した測定記録の存在自体は、検証可能であることを意味している。しかし、本論文は、もしその距離が停止しないプログラムに対応している場合、特定の検証記録が存在しないことを、いかなる一貫した物理学や論理の理論も決して証明できないことを示している。言い換えれば、「検証記録が存在しない」という事柄についての真なる記述であっても、健全な理論では決して証明できないものがあるということである。

この結果は、有名な数学的問題をレーダーの言語へと直接翻訳したものである。本論文は、距離がある境界内に収まるかどうかという問いを解くことは、コンピュータ・プログラムが停止するかどうかを予測する問題を解くことと同じくらい困難であることを証明している。いかなるプログラムに対しても、それを見て確実に停止するかどうかを判定できる一般的なアルゴリズムが存在しないのと同様に、このように定義された距離に対して、検証可能な測定が存在するかどうかを確実に言える単一の理論は存在しない。論文は、個々の測定手順はすべて機能し、完了するものの、あらゆる「不在」に関する記述（すなわち、決して測定が成功することはないという主張）の集合は、大部分が未決定のまま残ることを確立している。このような種類の真なる記述は無限に存在し、それらは理論によって証明することも反証することもできないのである。

この研究の意義は、その明快さにある。これは複雑な量子効果や時空の歪みに依存するものではない。最も基本的な観測ツール、すなわち時計、光のパルス、そして鏡を用いている。このような単純な古典的なセットアップにおいてさえ、論理的証明の限界が現れることを示すことで、本論文は、数学に見られる不完全性が単なる抽象的な記号の産物ではないことを示唆している。それは、物理的な測定モデルにおいて実現可能な特徴なのである。著者は、これが理論的な構成物であることを慎重に注記している。この論文は、特定のコンピュータ・プログラムに依存する距離に鏡を物理的に設置し、実験室でこれをテストできると主張しているのではない。焦点は、モデル自体の論理構造にある。もし私たちがコンピュータの仕組みや測定が記録される標準的なルールを受け入れるならば、証明できる内容には限界があることを受け入れなければならない、ということを示しているのである。

結局のところ、この論文は、有限の測定記録が常に物理的世界に関する主張を証明できるという考えに対し、静かではあるが断固とした修正を加えている。それは、私たちは常に測定を完了させることはできるが、探している結果を見つけることが不可能であるかどうかを知ることは常にできるとは限らない、ということを示している。世界に関する真実（具体的には、検証可能な記録が存在しないという事実）の中には、いかなる一貫した理論からも永遠に手の届かないものがある。これは私たちの計器や知性の失敗ではなく、根本的な境界である。この研究は、計算可能なことと知り得ることの間の隔たりが、単なる数学的な好奇心ではなく、最も単純な物理的相互作用の上にマッピングできる構造的な現実であることを裏付けている。レーダーモデルは、計算における標準的な障害を明確かつ具体的な例として提示しており、特定の問いを決定できないという事実は、光のパルスが鏡に向かって行き、そして戻ってくることと同じくらい現実的なものであることを証明している。