「解く」が原理的に無理でも、それは敗北ではない
第2回で、宇宙の更新規則が「計算不可約」なら、宇宙を計算するとは賢い式を見つけることでなく、走らせることだと触れました。今回はそれを正面から。近道のある問題とない問題を、セルオートマトンを実際に走らせて目で見て、「解けない」が敗北でない理由まで行きます。
惑星の位置は、\(1000\) 年後を公式で先回りできる ── \(1000\) ステップ刻む必要はない。これが計算可約。教科書の物理がだいたい可約なのは偶然でなく、「解ける」問題を選んで教科書に載せているから。可約な系は、実は特別で幸運な一角です。
いっぽう多くの系は、\(n\) 歩後を知るのに実際に \(n\) 歩走るしかない。式でジャンプできない。これが計算不可約。系が自分自身の最速シミュレータで、それより速い予言器は存在しない。
「近道がない」はただの経験則ではなく、根に定理があります。ある系が万能計算できると（Rule 110 のように）、その中に任意の計算を埋め込める。すると「この初期状態は最終的にどうなるか」を一般に答えることは、停止問題（Turing）を解くことになり ── 不可能。
万能計算 ⟹ 停止問題・Rice の定理 ⟹ 長期挙動の一般予測は決定不能。だから「走らせる前に答えを出す関数」は原理的に作れない。第2回の Kolmogorov の圧縮床の、動的な顔：軌道が圧縮不能なら、\(K(\text{軌道})\approx\) その長さ＝要約できない。
第2回③の穴に、光を当て直します。宇宙の更新規則が不可約なら ── そして万能なら十中八九そうなら ── 「宇宙を計算する」は魔法の閉じた式を見つけることではありません。宇宙は自分を走らせていて、それを追い越す近道はない。リアルタイム以下で未来を知る方法は、原理的に存在しない。
ここが今回の芯。不可約性は絶望に聞こえて、逆です：
| 不可約性の帰結 | なぜ前向きか |
|---|---|
| 科学は止まらない | 全体が不可約でも、可約なポケットは至る所にある（対称性・保存則・有効理論・統計則）。科学＝不可約な海の中の可約な島を見つける営み。 |
| 決定論 ≠ 予測可能 | 規則が完全に決まっていても、走らせるまで結果が分からない。不可約だからこそ本物の新しさ・複雑さが生まれる。 |
| 知識の穴でなく定理 | 「近道が無い」は我々の無知でなく、系についての構造的事実。埋めるべき欠落ではなく、確かめられた性質。 |
| 掟の深い理由 | 不可約な系に「閉じた解を得た」と主張されたら、まず疑うべき ── それが本シリーズの「解けたを疑う」の根拠。 |
計算不可約性は Wolfram の枠組みで、経験的に遍在し直感的ですが、「宇宙が計算不可約である」ことは、その更新規則が万能だという仮説に依存し、未証明です。可約／不可約は二値でなくスペクトルで、不可約な系にも可約な側面がある（だから物理はよく予測できてきた ── 対称性や粗視化という可約な島を捉えているから。矛盾しません）。
停止問題・Rice の定理・Rule 110 の万能性（Cook）は厳密な数学ですが、それを物理予測に literal に適用するには「宇宙＝万能計算機」という仮説が要ります。図は素朴な 1 次元セルオートマトンの実走行で、可約／不可約の例示であって、宇宙がどれかの証明ではありません。この文書に「解けた」はありません。
近道のある問題（可約）は幸運な一角で、多くは不可約 ── \(n\) 歩後を知るには \(n\) 歩走るしかない。根は万能性と決定不能（停止問題・Rice）で、Kolmogorov の圧縮床の動的な顔。図で Rule 90（可約・公式あり）と Rule 30／110（不可約・走るしかない）を実際に見た。宇宙の規則が不可約なら、宇宙を追い越す近道は原理的に無い。
だが「解けない」は敗北でなく前進：科学＝不可約の海の可約な島を探す営み、決定論≠予測可能、そして不可約だからこそ新しさが出る。何より ── 不可約な系に「閉じた解」を主張したら疑え、という本シリーズの掟そのものの根拠がここにあった。旗は立てない。
印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダー／ボタンで規則を変えると、その場で走らせて時空図が出ます。「答えを見る」で解答が開きます。