計算可能性と物理法則

宇宙は計算しているのか——この問いは、物理学の問いであると同時に数学的論理学の問いでもある。

チューリングが立てた問い

1936年、アラン・チューリングは「計算可能な数」と「計算不可能な数」を区別した。チューリング機械が原理的に計算できない関数が存在することを示し、「ハルティング問題」（プログラムが停止するかどうかを一般的に決定できない）を証明した。これは数学の形式体系の能力に上限があることを意味する——形式体系の外に出るものがある。コンラッド・ツーゼは1969年に「宇宙は計算機械だ」という仮説を提唱した。スティーヴン・ウルフラムはセルオートマトンという計算モデルから物理現象の多くが導出できると論じた。これらは「計算可能宇宙仮説」——宇宙の物理法則は計算可能な関数で記述されるという主張だ。

宇宙をプログラムとして見る

計算可能宇宙仮説が魅力的なのは、物理的実在とデジタル情報の接続を可能にする点だ。デイヴィッド・ドイッチュは量子計算の文脈で「宇宙は量子計算機だ」という観点を展開し、量子計算の普遍性を物理的実在の基本原理として扱う。しかし万有引力の法則から始まって相対性理論・量子場理論へと続く物理法則の体系が計算可能な数学のみで記述されているかどうかは自明ではない。実数を使う連続的な物理学は、厳密には計算不可能な数も含みうる。ゲーデル、エッシャー、バッハが描く形式体系と意味の関係は、宇宙が計算機として理解できるかどうかという問いに深く絡む。

計算不可能性の物理的意味

ロジャー・ペンローズは意識が計算論的に再現できないと論じた。「皇帝の新しい心」でペンローズはゲーデルの不完全性定理を応用し、数学的洞察は計算機では再現できないと主張する——意識が何らかの計算不可能なプロセスを含むからだという。この主張は強い批判を受けてきたが、「物理的過程のすべてが計算可能か」という問いへの答えは未定だ。

MUHとの緊張点

テグマークは計算可能宇宙仮説を検討した上で、最終的には「計算不可能なものも含む、より広い数学的構造が実在する」という立場（MUH）を採る。計算可能性だけに実在を絞ることは、数学の一部を「実在しない」と切り捨てることになり、「すべての数学的構造が実在する」という原理と矛盾する。ヒルベルトのプログラムが形式化の夢を描いたように、計算可能宇宙仮説は「宇宙の有限的な記述」を夢見る。しかしゲーデルの定理がその夢の限界を示したように、計算可能性という枠は宇宙の全体を収めるには狭すぎるかもしれない。数学的証明という営みの中に、計算可能性を超えた何かが宿っているのだとすれば、その「何か」が物理法則にも痕跡を残すのかもしれない。

ジョン・ホイーラーが「it from bit（ビットからイット）」という標語で示したように、情報が存在の基礎になるという考えは20世紀後半から物理学者の想像力を捉えてきた。デジタル物理学は宇宙を離散的な情報処理として捉え、連続的な物理学の記述をその近似とみなす。しかし量子力学はある意味で連続的であり（波動関数の連続的な進化）、別の意味で離散的だ（観測結果の離散性）。この二面性が、宇宙の計算論的理解の難しさを生む。チューリングが立てた問いは、デジタルとアナログの境界を問い、それは宇宙の深層の問いと接続している。