書籍要約『メタ・マス：オメガへの探求』グレゴリー・チェイティン 2005年

不確実性、不確定性、ランダム性物理・数学・哲学

サイトのご利用には利用規約への同意が必要です

訪問者数： 53

『Meta Maths: The Quest for Omega』Gregory Chaitin (2005)

目次

  • 序文 / Preface
  • 第一章 導入 / Introduction
  • 第二章 三つの奇妙な愛：素数／ゲーデル／LISP / Three Strange Loves: Primes/Gödel/LISP
  • 第三章 デジタル情報：DNA／ソフトウェア／ライプニッツ / Digital Information: DNA/Software/Leibniz
  • 第四章 間奏曲 / Intermezzo
  • 第五章 連続体の迷宮 / The Labyrinth of the Continuum
  • 第六章 複雑性、ランダム性、不完全性 / Complexity, Randomness & Incompleteness
  • 第七章 結論 / Conclusion
  • 付録I・II：/ Appendices I & II

本書の概要

短い解説：

本書は、数学者グレゴリー・チャイティンが自ら発見した「オメガ数」（停止確率）の発見経緯とその哲学的意義を、数学と哲学の融合的視点から語る書。数学におけるランダム性と不完全性の根源を、プログラムサイズ複雑性という観点から明らかにし、ヒルベルトの形式主義に対する決定的な批判を展開する。一般読者向けに書かれてはいるが、深い哲学的含意を持つ。

著者について：

グレゴリー・チャイティン（Gregory Chaitin）は、IBMトーマス・J・ワトソン研究所に所属する数学者・計算機科学者。アルゴリズム情報理論（Algorithmic Information Theory）の創始者の一人であり、コルモゴロフと独立にプログラムサイズ複雑性の概念を発展させた。オメガ数（Chaitin’s constant）の発見で知られる。デジタル哲学／デジタル物理学運動の主要な提唱者でもある。

テーマ解説：

  1. 数学の限界と不完全性：ゲーデル、チューリング、そしてチャイティン自身の研究を通じて、数学が本質的に不完全であり、いかなる有限の公理系も数学的真理の全体を捉えられないことを示す。

  2. ランダム性と複雑性：プログラムサイズ複雑性を用いて、数学そのものの中にランダム性（還元不可能な情報）が存在することを実証する。

  3. デジタル哲学：世界は連続的ではなく離散的であり、デジタル情報（0と1）によって構築されているという世界観を、ライプニッツに遡る思想的系譜の中で位置づける。

キーワード解説：

  • オメガ数（Ω）：ランダムに選ばれたプログラムが停止する確率。アルゴリズム的に非圧縮可能な実数であり、そのビット列は本質的に証明不可能な数学的真理の典型例。
  • アルゴリズム情報理論（AIT）：プログラムサイズによって情報の複雑性を測る理論。理解とは圧縮であり、理論とはデータを計算する最短プログラムであるという立場。
  • プログラムサイズ複雑性：ある出力を生成する最短プログラムのビット数。ランダム性の厳密な定義を与える。
  • 自己区切り情報（Self-delimiting information）：複数のプログラムを連結可能にする情報表現法。オメガ数の定義に必須。
  • 形式的公理系（FAS）：ヒルベルトが提唱した数学の完全形式化の試み。チャイティンはこれを「定理を生成するプログラム」として捉え直し、その限界を明示的に定式化する。

要点要約

本書の核心は、数学が「絶対的真理の体系」ではなく、本質的にランダム性と不完全性を含む生きた創造的営為であるという主張にある。著者はこの主張を、ゲーデルとチューリングの仕事を出発点としながら、自らが発見したオメガ数（Ω）を中心に据えて論証する。

まず著者は、素数に関する古典的証明（ユークリッド、オイラー）を紹介し、数学の美しさと同時に、その知識の最前線がすぐそこにあることを示す。素数分布のランダム性は、数学におけるランダム性の最初の兆候であった。

次に、ゲーデルの不完全性定理とチューリングの停止性問題を、形式主義批判の二大支柱として位置づける。ただし著者は、ゲーデルの原証明には満足せず、チューリングの計算可能性概念を基盤に、プログラムサイズ複雑性という新たな視点を導入する。ここにアルゴリズム情報理論（AIT）の誕生がある。

ライプニッツが1686年に『形而上学叙説』で示した「単純な法則ほど優れている」という洞察を、著者は「理解＝圧縮」という原理として定式化する。すなわち、科学理論とは観測データを計算するプログラムであり、その良さはプログラムサイズの小ささで測られる。データを圧縮できない場合、そのデータはランダム（非構造的）である。

DNAを生物のソフトウェアと見る視点は、情報理論の生物学への適用可能性を示すと同時に、現実世界の複雑性がデジタル情報として理解できるという著者のデジタル哲学を補強する。

第五章では、実数（連続量）の哲学的・数学的問題性を論じる。実数の大部分は計算可能でも名前可能でもなく、ランダムである。これはデジタル的・離散的世界観を支持する根拠となる。

第六章でいよいよオメガ数（Ω）が登場する。Ωは「ランダムに選ばれたプログラムが停止する確率」として定義され、そのビット列は任意の形式的公理系では有限個しか決定できない。これは数学の中に「理由なく真である」事実、すなわち還元不可能な真理が存在することを示す。

結論として著者は、ヒルベルトの「一つの形式的公理系ですべての数学を捉える」という夢は放棄すべきであり、数学は物理学と同様に、直感と実験（計算機実験）によって絶えず進化する準経験的（quasi-empirical）な営為であると主張する。創造性の源泉は、静的な公理系の外側にある。

各章の要約

第一章 導入

著者は本書の目的を、数学におけるランダム性と不完全性の核心を一般読者に伝えることと定める。ヒルベルトの形式主義が誤りであったことを示し、数学は物理学と同様に進化する生きた学問であるという立場を明示する。ゲーデルの発見以来「空中に浮遊」していると評される数学の基礎問題に、プログラムサイズ複雑性という新たな視点から決着をつけることを宣言する。

第二章 三つの奇妙な愛：素数／ゲーデル／LISP / Three Strange Loves: Primes/Gödel/LISP

素数が示すランダム性（ユークリッド、オイラー、著者自身の三つの証明を通じて）を紹介し、数学の最前線がすぐ近くにあることを示す。ゲーデルの不完全性定理に対する著者の不満（証明が本質に迫っていない）を述べ、代わりにチューリングの停止性問題と計算可能概念を用いることを選択する。ヒルベルトの形式的公理系（FAS）を「定理を生成するプログラム」として定式化し、その限界を論じる。最後にヒルベルトの第10問題（ディオファントス方程式の可解性判定問題）の非可解性を、ディオファントス方程式が万能計算機として機能するという驚くべき事実を通じて示す。これにより、数論の困難さは偶然ではなく構造的なものであることが明らかになる。

第三章 デジタル情報：DNA／ソフトウェア／ライプニッツ / Digital Information: DNA/Software/Leibniz

情報理論の源泉を三つに求める。第一にライプニッツ——彼は1686年に「法則の複雑性」と「データの複雑性」の比較によって科学的理解を定義するという、プログラムサイズ複雑性の核心を先取りしていた。第二に生物学——DNAは生物を構築するソフトウェアであり、情報圧縮の生きた例である。第三に計算機ソフトウェア——ビットとバイトの概念が情報の定量化を可能にした。自己区切り情報（self-delimiting information）の概念を導入し、これがオメガ数の定義に不可欠であることを予告する。理解＝圧縮というテーゼを提示する。

第四章 間奏曲

ボルヘスの『パラケルススの薔薇』を題材に、アルゴリズム情報理論の本質を寓意的に示す。薔薇の本質とは、そのデジタル画像を生成する最短プログラム（アルゴリズム情報内容）である。続いて、現実世界がデジタルかアナログかという問題を論じ、ファインマンやランダウアーらの物理学者が示唆する離散的世界観を紹介する。物理的な理由から実数（連続量）を疑うべきであるという著者の立場を提示する。

第五章 連続体の迷宮

ライプニッツが「連続体の迷宮」と呼んだ実数問題を深掘りする。実数の大部分は（１）代数的数ではなく超越数であり、（２）計算可能ではなく、（３）名前可能でさえない——これらはすべて確率１で成立する。カントールの対角線論法、ボレルの「何でも知っている実数」、チューリングの計算不可能実数などを通じて、実数概念の哲学的問題性を浮き彫りにする。デジタル情報理論が適用されるのは離散的世界であり、実数に基づく連続的世界観は哲学的にも数学的にも深刻な問題を抱えると結論づける。

第六章 複雑性、ランダム性、不完全性 / Complexity, Randomness & Incompleteness

本書の核心。プログラムの「エレガント性」（最短性）が証明不可能であることを示し、そこからチューリングの停止性問題の非可解性を導出する。続いてオメガ数（Ω）——ランダムに選ばれたプログラムが停止する確率——を定義する。Ωの最初のNビットはNビットの情報を含み（非圧縮可能）、いかなる形式的公理系もΩのビットを有限個しか決定できない。これは数学の中に「理由なく真である」事実（独立なコイントスの結果に類似）が存在することを意味する。さらにΩのビットがディオファントス方程式の解の数の偶奇や有限性として表現可能であることを示し、数論そのものにランダム性が埋め込まれていることを実証する。

第七章 結論

ヒルベルトの「一つの形式的公理系で全数学を捉える」という夢は放棄すべきであると結論づける。数学は静的・完璧な体系ではなく、物理学と同様に直感と経験（計算機実験）に基づいて進化する「準経験的」営為である。形式的証明は玩具の世界にしか通用せず、現実のソフトウェア開発が示すように、実験的アプローチが不可欠である。創造性の源泉は静的な公理の外側にあり、新しいアイデアと直感によって数学は前に進む。ライプニッツやピタゴラスに遡る思想的系譜の中で、デジタル哲学の意義を再確認する。

付録I / Appendix I：『Computers, Paradoxes and the Foundations of Mathematics』（2002）

『American Scientist』誌に掲載された一般向け解説。ラッセルのパラドックス、ヒルベルトの形式主義、ゲーデルの不完全性、チューリングの停止性問題を経て、著者自身のアルゴリズム情報理論とオメガ数に至る流れを、専門的詳細を排して簡潔に説明する。

付録II / Appendix II：『On the Intelligibility of the Universe and the Notions of Simplicity, Complexity and Irreducibility』（2004）

ボンでの哲学会議基調講演の論文集。プラトンからライプニッツ、そして現代の科学者たち（アインシュタイン、ファインマン、ボルン）に至る「単純性」概念の系譜を辿り、アルゴリズム情報理論がその哲学的伝統の現代的な定式化であることを示す。オメガ数が示す「還元不可能な真理」は、宇宙の理解可能性そのものに根本的な制限を課すという哲学的含意を論じる。

想定読者・前提知識・読みどころ

  • 想定読者：数学や科学哲学に興味を持つ一般読者。高度な専門知識を前提としないが、抽象的思考への抵抗がないことが望ましい。
  • 前提知識：高校数学（素数、級数、方程式）程度の知識があれば十分。プログラムやコンピュータの基本的理解があるとなお良い。複雑な証明はスキップ可能と著者自身が述べている。
  • 分量・難易度：約250ページ（本文）。哲学的議論と具体的数学例が交互に現れる。第五章・第六章が最も難易度が高いが、著者は「わからなければ読み飛ばしてよい」と勧めている。
  • 読みどころ：第二章（素数とヒルベルト第10問題）、第三章（ライプニッツと情報理論）、第六章（オメガ数の導入と不完全性）が議論の中核。第五章（実数批判）はデジタル哲学の根拠として重要。最初から通読するのが理想だが、第二章→第三章→第六章という順序で読むと、オメガ数に至る論理的流れが最も明確に把握できる。哲学的関心が強い読者は序文と第七章を先に読むと全体像が掴みやすい。

 

オメガという数：証明できない真理は数学の底に眠る

by Claude Opus 4.8

Omega: The Truths Mathematics Cannot Prove

「理由なき真理」は焼き直しか

最初に手が止まったのは、帯の文句のほうだった。「ランダム性こそが数学の真の基礎である」。チャイティン（Gregory Chaitin）の『メタ・マス：オメガの探求』（Meta Math! The Quest for Omega, 2005年）は、自らの「停止確率（halting probability）」の発見を、世界の数学観を永久に砕いた事件として売り込んでくる。最初の感触は警戒だった。これはゲーデル（Kurt Gödel）の不完全性定理の、派手な言い換えにすぎないのではないか。「数学には証明できない命題がある」という、すでに70年以上も語り尽くされた話を、官能的なレトリックで包み直しただけではないか。

実際、本書の語り口は過剰なほど情熱的である。美しい女性、ジャズとフーガ、新しいアイデアに「恋をする」こと。新聞やショッピングモールやテレビ番組は強烈な「非現実感」を与えると書きつけ、自分が生きていると感じるのは新しいアイデアに取り組むときと山を登るときだけだと言い切る。こうした自己陶酔の身振りは、論証の核を見えにくくする。装飾を剥がして核を取り出さなければ、評価のしようがない。

だが読み進めると、違和感の正体が一つの一点に収束していくのが分かった。チャイティンの議論がゲーデルやチューリング（Alan Turing）と質的に違うのは、不完全性を「情報量」として測る点にある。ゲーデルは自己言及の構文（「この命題は証明できない」）から不完全性を引き出した。チューリングは停止問題の解けなさから引き出した。チャイティンはそこに、誰もやらなかった操作を加える。形式体系が含む情報を、ビット数で測るのだ。

この一点が、不完全性の風景を変える。ゲーデルの定理は、どこか手品めいて見える。わざわざ作った奇妙な自己言及命題が証明できない、というのは、論理の隅に潜む例外のように響く。だがチャイティンの定式化では、証明できない真理が「典型」になる。例外ではなく、数学的真理の大半がそうなる。この転換が本物かどうか。そこを確かめたくなった。形式的な驚きから入り、定量的な必然へと着地できるか。それが本書を読む値打ちの分かれ目だった。

ライプニッツが蒔いた一粒の種

驚いたのは、その種が1686年に蒔かれていたという主張である。チャイティンは自分の理論の起源を、ライプニッツ（Gottfried Leibniz）の『形而上学叙説』（Discours de Métaphysique / Discourse on Metaphysics, 1686年）第5・6節に遡らせる。15歳のときヴァイル（Hermann Weyl）の小著『開かれた世界』（The Open World, 1932年）でこの一節に出会い、生涯の出発点になったという。

ライプニッツの問いはこうだ。法則に支配された世界と、無法則な世界を、どうやって見分けるのか。科学が実際に機能していると、どうやって判断するのか。彼は鋭い思考実験を置く。目を閉じて紙の上にペンで点をでたらめに打つ。それでも、その点の集まりを必ず通る数式が存在する。三点だろうと、何点だろうと、ラグランジュ補間（与えられた点を通る多項式を作る手法）を使えば、点がいかにランダムに置かれていようと、それを通る方程式は常に書ける。

これは一見、絶望的な結論に見える。法則がいつでも見つかるなら、「法則が存在する」という事実は何の保証にもならない。宇宙が気まぐれなのか、科学が本当に効いているのか、区別がつかなくなる。

ライプニッツの答えがすべてを変える。法則が「ひどく複雑（fort composée）」でなければならないなら、その点はランダムに置かれている。法則が単純なら、それは本物の自然法則であり、我々は自分を欺いていない。神は最も完全なもの、すなわち最も単純な仮説と最も豊かな現象が同時に成り立つものを選んだ、と。

ここに含まれている洞察を、現代の言葉に翻訳するとこうなる。理論はデータよりも単純でなければ、理論ではない。点の集まりと同じだけ複雑な数式は、何も説明していない。それはデータを言い換えただけだ。圧縮できないものが、ランダムである。「理解とは圧縮である（understanding is compression)」。法則とは、観測データを、それより短い記述へと畳み込む操作にほかならない。

この一行に立ち止まる価値がある。なぜなら、これは数学の話というより、認識そのものの構造を言い当てているからだ。我々が何かを「分かった」と言えるのは、現象の山を、それより小さな原理の束へ圧縮できたときだけである。圧縮率がゼロに近づくとき——記述が現象と同じだけかさばるとき——そこには法則がなく、ランダムだけがある。チャイティンはこの直観を、コンピュータプログラムのサイズという厳密な尺度に変換した。ある対象の複雑性とは、それを生成する最小のプログラムのビット数である。

コイン投げと同型の数、オメガ

そして「オメガ（Ω）」が現れる。定義は意外なほど単純だ。固定したコンピュータの上で、ランダムに選んだプログラムを走らせる。プログラムの各ビットは公正なコインを投げて決める。このプログラムがいつか停止する確率を、0と1のあいだの無限精度の実数として表す。それがΩである。

技術的な要は、プログラムが「自己限定的（self-delimiting）」でなければならない点にある。コンピュータが自分で、どこでプログラムを読み終えるかを決める。この条件がないとΩは定義できない。各々のkビットのプログラムが停止するなら、それは2のマイナスk乗だけΩに寄与する。停止するすべてのプログラムについてこれを足し合わせたものがΩだ。

このΩの何が衝撃的なのか。三つの性質が絡み合っている。第一に、Ωは下から近似できる。プログラムを少しずつ長く、長く走らせれば、近似値はじわじわ大きくなってΩに近づく。だがその収束は異様に弱い。今どれだけΩに近いのか、原理的に知りようがない。収束の速度を教えてくれる「regulator」が存在しないのだ。第二に、Ωの最初のNビットが分かれば、Nビット以下のすべてのプログラムの停止問題が解ける。つまりΩの最初のNビットには、ちょうどNビット分の、圧縮の効かない情報が詰まっている。第三に、ここから核心が出てくる。

Ωの最初のNビットを計算する最小のプログラムは、常にN引くc以上のビット数を要する（cはΩに依存しNには依存しない定数）。Ωのビットは「既約（irreducible)」であり、圧縮できない。互いに独立で、公正なコイン投げの結果と同型である。チャイティンの言葉では、それは「理由なく真である（true for no reason）」数学的事実だ。

この帰結を、定理として置き直すとこうなる。Nビットの公理を持つ形式体系は、その複雑性のビット数ぶんしか、Ωのビットを決定できない。10ビットの公理からは10ビット程度のΩしか証明できない。残りを知るには、Ωのビットそのものを公理として直接書き込むしかない。だがそれは「証明」ではない。前提に答えを置いただけだ。

ここでようやく、最初の懐疑が解けた。これはゲーデルの焼き直しではない。ゲーデルの証明できない命題は、構文の細工で一個作り出すものだった。チャイティンのΩは、無限に多くの、互いに独立した、定量化された証明不可能性の貯水池である。数学的真理の中に、いかなる有限の理論からも汲み上げられない、コイン投げと区別のつかない情報の海がある。それを彼は一つの実数の名のもとに固定してみせた。

ヒルベルトの夢を撃ち落とすもの

この海は、ヒルベルト（David Hilbert）の夢に正面から突き刺さる。1900年前後、ヒルベルトは数学を、完全に機械的で、絶対的に厳密で、静的な形式公理系として基礎づけようとした。一つの体系から、すべての数学的真理が機械的に導出される。チャイティンはこの構想を「病気」と呼び、メタ数学全体を、ヒルベルトの形式公理系の「帰謬法（reductio ad absurdum、背理による論駁)」と見なす。重要なアイデアであるのは、まさにそれが撃ち落とせるからだ、と。

ただし、ここでのチャイティンの立ち位置は注意深く読む必要がある。彼は「真理は相対的だ」とは結論しない。20世紀の思想の多くが、ヒルベルトの形式主義に惚れ込み、ゲーデルにその足場を抜かれ、ゆえに真理は相対的だと考えた。チャイティンはこれを誤った結論だと断じる。正しい結論は、ヒルベルトが間違っていてポアンカレ（Henri Poincaré）が正しかった、ということだ。直観は数学から消去できない。人間の思考一般から消去できない。そしてすべての直観が等しく妥当なわけでもない。真理は各文化や各世代が作り直すものでも、流行の問題でもない。

形式主義そのものが無価値だったわけではない。それは見事に成功した。ただし数学や哲学においてではなく、コンピュータ技術として、ソフトウェアとして、プログラミング言語として成功した。形式体系は機械には効く。だが我々には効かない。

この一文に、私はしばらく留まった。「機械には効くが、我々には効かない」。これは道具についての、ある根深い問いを開く。形式という装置は、計算機の領域では人間の能力を桁違いに拡張した。だが同じ装置を人間の推論そのものに適用しようとすると——定理証明アルゴリズムや、形式的手法によるソフトウェアの正しさの証明のように——それは些末な定理しか吐き出さず、現実の複雑さの前で無力になる。チャイティン自身がIBMでの経験から、ソフトウェアの正しさは実験的に、試行錯誤で「証明」するしかないと書く。伝統的な数学的証明が可能なのは、陽子一個と電子一個の水素原子のような、おもちゃの世界だけだ。現実は複雑すぎる。

ここには、体系が自らの正当性を内側から保証できないという、より一般的な構造がある。形式体系は、自分が何を証明できないかを、自分の内部からは見渡せない。その限界を知るには、外に出るか、新しい公理を外から持ち込むしかない。自己完結した権威は、自己完結しているがゆえに、自らの盲点を点検できない。これは数学の定理だが、響きはそれに留まらない。

「証明されていない」の二つの顔

ここで本書の射程が、純粋数学の外へ伸びる。チャイティンが示したのは、人間が手にした最も厳密な営みである数学の内部にすら、「証明できない真理」が原理として存在する、ということだった。だとすれば、「証明されていない」という言葉は、もはや無邪気に使える言葉ではなくなる。

日常の論争では、「証明されていない」はしばしば「偽である」「効果がない」の同義語として投げられる。何かの主張に対する反射的な却下として機能する。だがチャイティンのΩは、この反射の足元を崩す。Ωのビットは真である。にもかかわらず、証明できない。証明できないことと、偽であることは、まったく別の事柄だ。最も厳密な領域でこの二つが分離するなら、はるかに混み入った現実の領域で両者を同一視するのは、いっそう乱暴だということになる。

ただしここで、安易な接続を避けねばならない。Ωの証明不可能性と、たとえば現代医療における「因果関係は証明されていない」という言明とは、性質が根本的に違う。前者は論理的・原理的な不可知である。誰かが隠しているのではなく、いかなる有限の理論からも汲み出せないという、構造そのものの帰結だ。後者の多くは政治的・制度的な不可視である。元データを握る側がそれを公開しないために検証できない、という状態だ。被験者の個別データを抱え込み、開示を遅延・拒否する構造は、原理的不可知ではなく、人為的な遮蔽である。

この違いを潰してしまえば、議論は牽強付会に堕する。だが両者がそれでも一点で響くのは、「証明可能性」と「証明の権威」の関係においてだ。チャイティンが数学について教えるのは、証明という形式が万能ではなく、証明できる範囲が体系の複雑性によって厳密に限界づけられている、ということである。証明できないからといって真でないわけではなく、証明という手続きそのものが、真理の全体を捉える道具としては原理的に不足している。

この洞察を抽象的なレベルで携えたまま、検証が遮蔽された領域に向き合うと、ある推論形式の地位が変わる。直接の証明を奪われた者が、間接証拠から「最良の説明仮説」へと跳ぶ推論——パース（Charles Peirce）がアブダクションと呼んだもの——は、非科学の証拠ではなく、しばしばデータを塞がれた者に残された唯一の道である。チャイティンの数学では、不可知は原理に根ざす。ならば現実の領域で、不可知が誰かの遮蔽に根ざしているとき、問うべきは「その推論は飛躍か」ではなく「なぜ直接の検証が塞がれているのか」になる。証明できないことと証明させないことは違うが、どちらも「証明されていない」の一語に化ける。本書はその一語の重さを、数学の側から照らし返す。

実験する数学、実験する医学

結論章で、チャイティンは積極的な処方を出す。数学的真理は無限の複雑性を持つが、いかなる有限の形式体系も有限の複雑性しか持たない。ディオファントス方程式（整数解を問う方程式）の世界ですら、無限の複雑性を持ち、有限の体系では尽くせない。ゆえに、ヒルベルトが望んだような単一の体系に留まることはできない。新しい公理、新しい推論規則、新しい数学的情報を、基礎に加え続けねばならない。

ではその新しいものをどこから得るのか。チャイティンの答えは、物理学者が新しい方程式を得るのと同じ場所から、というものだ。霊感、想像力、そして実験から。数学の場合、実験室の代わりにコンピュータが実験の場になる。これが「準経験的（quasi-empirical)」な数学観であり、ラカトシュ（Imre Lakatos）がティモツコ（Thomas Tymoczko）編『数学の哲学の新しい方向』（New Directions in the Philosophy of Mathematics）で名付けた立場だ。彼はこれを図式に畳む。物理学では、法則がコンピュータを通じて宇宙を生む。数学では、公理がコンピュータを通じて定理を生む。より多くを得るには、より多くを入れよ。

この構図を読みながら、私は別の領域の論争を思い浮かべずにいられなかった。証拠の階層という観念をめぐる、医療の中の対立である。一方には、ランダム化比較試験を頂点に据え、症例報告や臨床経験を底辺に置く、形式的な序列がある。これは数学における形式主義の階層と、構造がよく似ている。一つの正しい手続きから演繹的に真理が降りてくる、という発想だ。他方には、病態生理学的な理解を出発点とし、観察研究、症例報告、基礎研究、臨床経験を階層化せず、ベイズ的に統合する立場がある。個別の状況で働く、医師の実践的な賢慮——アリストテレスがフロネシスと呼んだもの——を、機械的なガイドライン適用の上に置く立場だ。

チャイティンの数学観は、後者と相同的だ。彼は「完璧な大規模証明」を待つことの不可能性を、現実の複雑さから導く。水素原子なら証明できる。だが現実は陽子と電子が一個ずつの世界ではない。プログラマーが、ソフトウェアの正しさを形式証明ではなくデバッグ（試行錯誤による誤りの除去)で確かめるように、複雑な対象を相手にする者は、物理学者のように振る舞うしかない。トップダウンの全体主義的な設計は機能しない。設計は進みながら作るものだ。

ここでも回収は慎まねばならない。数学の準経験性と臨床の準経験性は、扱う対象が違う。だが両者を貫くのは、形式的厳密性の射程には限界があり、その外で判断を続けるには、実験・観察・直観・統合という別種の知が要る、という認識だ。証拠がないことと効果がないことを混同しない、という規律は、チャイティンの「証明できないことと偽であることは違う」と、同じ地下水脈から湧いている。

機械は創造できるのか

ただし、本書には解けない緊張が一つ残る。私はそれを欠陥としてではなく、誠実さの証として読んだ。

チャイティンは一方で、徹底したデジタル哲学者である。世界は0と1からなり、すべては離散的な情報だと考える。「神はもはや数学者ではなくプログラマーだ」と書き、物理学者ホイーラー（John Wheeler）の標語「It from bit(ビットからモノが生じる)」に共鳴する。万物はビットでできている、という壮大な構想に惹かれている。

ところが同じ本の中で、彼はこう問う。いかなる機械的プロセスも、本当の意味で創造的ではありえない。なぜなら、出てくるものはすべて、ある意味で出発点にすでに含まれていたからだ。だとすれば、創造性の唯一可能な源泉は、物理的なランダム性——コイン投げ、何か非機械的なもの——なのだろうか。極度に単純化した観点からは、そうなる、と彼は答える。

この二つの主張は、たやすくは両立しない。世界がビットの機械的展開なら、新しさはどこから来るのか。もし真の新しさが物理的ランダム性を要するなら、それは純粋に計算的な世界像に収まりきらない何かが、創造性の根に居座っているということだ。チャイティン自身のΩが、まさにその裂け目に置かれている。Ωは計算で近似はできるが、計算で尽くせない。決定論的な機械の内部から、機械が原理的に到達できない情報が、立ち現れている。

ここに、計算という語彙が捉えきれない残余がある、という主張への手がかりがある。記号の機械的操作と、そこから汲み出せない真理とのあいだの隙間。チャイティンはこの隙間を、創造性の場所として、数学の内部に開いてみせた。彼がデジタル哲学に傾きながら、なお「機械は創造できない」と書かざるをえなかったこと——その矛盾を抱えたまま本を閉じたこと——のほうが、きれいに片付けた結論よりも、はるかに正直で示唆に富む。万物がビットだと言いたい者が、ビットの展開には還元できない何かに突き当たる。その突き当たりこそ、本書が無意識に最も深く触れている地点なのかもしれない。

一つの完璧な証明という神話

最後に、本書を通じて静かに反復される一つの主張に立ち戻りたい。それは数学の話の形をとりながら、それを超える射程を持つ。

チャイティンは、素数が無限にあることを三通りの——2000年前、200年前、20年前の——まったく異なる証明で示してみせ、こう言う。これは、各々の数学的事実に対して完璧な証明はただ一つだけ存在する、というブルバキ（Nicolas Bourbaki)やエルデシュ（Paul Erdős)の神話を完全に吹き飛ばす。エルデシュは「神の書」に各定理の完璧な証明があると語った。ブルバキは集団作業の産物を架空の一個人の名に帰し、完璧になるまで終わりなき修正を重ねた。完璧以外は受け入れない、と。

チャイティンはこれを「全体主義的教義」と呼ぶ。数学的真理は完全には客観的ではない。命題が偽なら証明はないが、真なら証明は一つではなく、無限に多様な証明がある。証明は没個性ではなく、文学作品と同じように、その創造者の個性を表現する。重要なことが真であるなら、それが真である理由は数多くあり、その事実の証明も数多くある。数学は理性の音楽であり、ある証明はジャズのように、ある証明はフーガのように響く。どちらが優れているのか。どちらでもない。趣味の問題であり、この多様性そのものが良いことだ。もし我々全員が同じ女性を愛したら、それは破滅だろう、と彼は書く。

この多元性の擁護は、エゴイズムへの解毒剤という主張へと続く。いかなる科学的アイデアにも、一つの名前だけが刻まれることはない。それらは人類の最良の頭脳の共同生産物であり、歴史を通じて互いの洞察の上に築かれる。アイデアの糸を遠くまで遡れること——彼のΩをボレル（Émile Borel)の「何でも知っている数」に、彼のランダム性の定義をライプニッツに遡らせること——は、それらを弱めるどころか、より大きな意義を与える。中世の大聖堂は無名の多くの手によって、いくつもの生涯をかけて建てられた、と彼は友人の言葉を引く。

一つの完璧な証明という神話、単一の形式体系という夢、トップダウンの全体主義的設計。チャイティンが繰り返し撃つのは、つねにこの「一なるもの」への信仰だ。彼が対置するのは、多様性、進化、分散、そして無名の手の集積である。真であるものへの道は一つではない。一つだと言い張ること自体が、教義であり、暴力である。

これは数学の認識論的な主張だが、知の組織のされ方一般についての主張としても読める。中心が一つの正しい手続きを握り、そこからすべての真理が降りてくるという構図は、機械には効いても人間には効かない。人間の知が現実の複雑さに応えるには、多様な小さな実践が、互いに浸透しながら横へ積み重なっていくしかない。完成形を一気に目指すのではなく、できるところから、重層的に、分散して。チャイティンが数学について言うことと、知のインフラが権力の集中に抗してどう組まれるべきかという問いとは、思いがけず同じ形をしている。

総括

最初の懐疑——これはゲーデルの派手な言い換えではないか——は、検討を経て解けた。チャイティンの「停止確率Ω」が新しいのは、不完全性を情報量として測り直したことにある。その操作によって、証明できない真理は数学の隅の例外から、数学的真理の典型へと位置を変える。Nビットの公理からはNビットぶんの真理しか証明できず、残りは互いに独立で圧縮の効かない、コイン投げと同型の「理由なき真理」として、数学の底に横たわっている。

本書から取り出せる到達点は三つある。第一に、証明できないことと偽であることは別の事柄であり、最も厳密な領域でこの二つが分離する以上、現実の領域で両者を同一視する反射は、いっそう警戒に値する。第二に、形式的厳密性の射程には原理的な限界があり、その外で知を進めるには、実験・観察・直観・統合という準経験的な態度が要る——この認識は数学と臨床のあいだで構造的に響き合う。第三に、真理への道は決して一本ではなく、「一つの完璧な証明」「単一の体系」への信仰は、機械には効いても人間の知には効かない。

そして本書は、解かれないまま開かれた問いを一つ残す。世界がビットの機械的展開だとすれば、真の新しさはどこから来るのか。チャイティンはデジタル哲学に惹かれながら、創造性の源泉に物理的ランダム性を、すなわち計算に還元しきれない何かを置かざるをえなかった。彼のΩは、決定論的な機械の内部に、機械が到達できない真理が滲み出す裂け目として置かれている。計算という語彙が捉えきれない残余が、最も厳密な営みの底にある——その裂け目を、本書は証明という形で指し示しながら、自らは渡りきらずに筆を置く。渡るべき橋は、おそらくまだ架けられていない。