書籍要約『ダーウィンの証明：生物学の数学化』2013年

オートマトン、ウルフラム、フラクタル、ライフゲーム、再帰性ゲーム理論・進化論哲学物理・数学・哲学進化生物学・進化医学

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

訪問者数： 71

『Proving Darwin: Making Biology Mathematical』

目次

  • 第1章 序論：『Proving Darwin』の概要
  • 第2章 生命＝進化するソフトウェア：変異するソフトウェアの進化
  • 第3章 ソフトウェアの人間による発見：生物学者としてのチューリングとフォン・ノイマン
  • 第4章 メタ生物学の数学：ソフトウェア空間におけるランダムウォーク
  • 第5章 サンタフェ研究所講演：進化と生物学的創造性の数学的理論
  • 第6章 メタ生物学の神学的側面
  • 第7章 創造性の政治学（社会ダーウィニズム → 社会メタ生物学）
  • 第8章 数学は究極的に何を達成できるか？：メタ生物学とその先
  • 付録1：フォン・ノイマンの「DNA＝ソフトウェア」論文
  • 付録2：証明の核心

本書の概要

短い解説：

本書は、生物学の深層にある数学的構造を明らかにし、ダーウィン進化論の本質を数学的に定式化する新分野「メタ生物学（metabiology）」を提案する。DNAをソフトウェアと見なし、人工的なソフトウェア（コンピュータプログラム）のランダム進化を数学的に証明することで、生命の創造性を説明することを目指す。

著者について：

グレゴリー・チャイティンは、アルゴリズム情報理論とオメガ数（Ω）の発見者として知られる数学者・計算機科学者。リオデジャネイロ連邦大学教授、ブエノスアイレス大学名誉教授。メタ数学と生物学の接点を長年探究し、本書では「生命＝進化するソフトウェア」という視座から新たな理論生物学の基礎を提示する。

テーマ解説：

  1. 生命＝ソフトウェア：DNAは3～40億年の歴史を持つ自然のソフトウェアであり、進化とはソフトウェアのランダム変異と自然選択である。

  2. 数学的創造性＝生物学的創造性：ゲーデルの不完全性定理とチューリングの停止性問題は、数学にも生物学にも創造性が本質的であることを示す。

  3. ランダムウォークとしての進化：ソフトウェア空間における確率的な山登り探索として進化を定式化し、その創造的速度を証明する。

キーワード解説：

  • メタ生物学（metabiology）：実際の生物学と並行する、人工ソフトウェアのランダム進化を扱う理論分野。
  • アルゴリズム的突然変異（algorithmic mutation）：Kビットのプログラムで記述される突然変異。確率2⁻ᴷで発生し、ソフトウェア空間での距離を定義する。
  • ビジービーバー関数 BB(N)：Nビット以下のプログラムが計算できる最大の整数。いかなる計算可能関数よりも速く成長する。
  • 停止確率 Ω（オメガ）：ランダムなプログラムが停止する確率。最大限に非計算可能で、数学的創造性の結晶。
  • ソフトウェア空間（software space）：すべての可能なコンピュータプログラムからなる空間。生物学的デザインのすべての可能性をモデル化する。

要点要約

本書『Proving Darwin』は、数学者グレゴリー・チャイティンが提唱する新分野「メタ生物学」の全体像を示す。その核心は、DNAを「自然のソフトウェア」と捉え、人工的なコンピュータプログラムのランダム進化を数学的に解析することで、ダーウィン進化の本質を証明しようとする試みである。従来の集団遺伝学が遺伝子頻度の変化を扱い創造性を捨象していたのに対し、メタ生物学は「新しい遺伝子はどこから来るのか」という創造性そのものを問う。

本書の理論的基盤は、チューリング（1936年）とフォン・ノイマン（1951年）による計算機理論と自己複製オートマトンの研究にある。フォン・ノイマンはDNAがソフトウェアとして機能することを数学的に先取りし、これがクリックとブレナーによる分子生物学の誕生に影響を与えた。チャイティンはこの流れを継承し、ゲーデル的・チューリング的な「開かれた数学」を用いて、生物学的創造性を定式化する。

メタ生物学のモデルでは、単一のソフトウェア生物（コンピュータプログラム）が大きな整数を計算し、その数値の大きさを適応度とする。突然変異はアルゴリズム的に定義され、Kビットの突然変異プログラムは確率2⁻ᴷで発生する。進化は適応度が常に増加する「山登りランダムウォーク」として進行し、停止性問題のオラクルを用いて無効な突然変異を排除する。

最も重要な成果は進化速度の評価である。ビジービーバー関数BB(N)（Nビット以下のプログラムが計算できる最大整数）を指標とすると、「知的設計」は時間NでBB(N)に到達し、「徹底探索」は時間2ᴺを要するのに対し、「累積的ランダム進化」は時間N²からN³で到達する。つまりランダム進化は徹底探索よりはるかに高速で、知的設計にかなり近い。進化した生物は停止確率Ωのより良い下界近似となり、Ωのビットを順次獲得することで適応度を高める。

チャイティンは本書を単なる生物学理論ではなく、神学的・政治的・認識論的含意を持つ思想として位置づける。ライプニッツの神学に通じる美的・数学的宇宙観、創造性を価値基準とする社会観、そして数学そのものが有機的に進化するという認識論的視座を提示する。メタ生物学はまだ発展途上であり、現実の生物学との関連性は未確定だが、従来の機械論的・還元主義的生物学に代わる創造性中心のパラダイムを提供する。

各章の要約

第1章 序論：『Proving Darwin』の概要

本書の目的は生物学の数学的核心を明らかにすることであり、著者が「メタ生物学」と名付けた新分野を提示する。従来の生物学理論（集団遺伝学など）が創造性を扱えないことに問題意識を持ち、DNAをソフトウェアと見なすアプローチから数学的進化論を構築する。本書はリオデジャネイロ連邦大学での講義をもとに構成され、第2～4章で戦略を、第5章で数学的核心を、第6～8章で思想的含意を論じる。付録ではフォン・ノイマンの先駆的論文と証明の詳細を収録する。著者はこの研究を「3年目」の新規分野と位置づけ、実生物学的妥当性は今後の課題としながらも、理論としての第一歩を強調する。

第2章 生命＝進化するソフトウェア：変異するソフトウェアの進化

自然界は驚くべき創造性に満ちているが、その数学的証明は存在しない。本書の戦略は、DNAを「自然のソフトウェア」と見なすことにある。DNAは約30～40億年の歴史を持つ普遍的なプログラミング言語であり、進化とはソフトウェアのランダム変異と選択である。エボデボ（進化発生生物学）はこの見方を支持し、生物は「ソフトウェア考古学」として理解できる。著者は「生命とは進化するもの」というメイナード＝スミスの定義に従い、人工ソフトウェア（コンピュータプログラム）の進化を研究する「メタ生物学」を提案する。このアプローチはピュタゴラス的生物学であり、生命の可塑性を「閉じた数学」ではなく「開かれたポストモダン数学」で表現する。本章は、生物学の本質は情報とソフトウェアにあり、エネルギーや代謝は二次的であると結論づける。

第3章 ソフトウェアの人間による発見：生物学者としてのチューリングとフォン・ノイマン

「ソフトウェア」という概念の人類による発見は、チューリング（1936年）とフォン・ノイマン（1951年）に始まる。チューリングの計算可能性理論は普遍的なプログラミング言語とハードウェア／ソフトウェアの区別を生み出し、フォン・ノイマンはこれを自己複製オートマタに応用して「DNA＝ソフトウェア」の考え方を数学的に先取りした。このフォン・ノイマンの論文はブレナーを通じてクリックに影響を与え、分子生物学の誕生に寄与した。ゲーデルの不完全性定理とチューリングの停止性問題は、数学が機械的でなく創造的であることを示し、ポストはこれを「方法なき科学」として再解釈した。著者は自身のオメガ数（Ω）が「数学的創造性の結晶」であり、これがメタ生物学への道を開いたと述べる。本章は、生命の可塑性と数学の創造性が同根であるという本書の中心的テーマを歴史的に裏付ける。

第4章 メタ生物学の数学：ソフトウェア空間におけるランダムウォーク

本章ではメタ生物学の数学的定式化を詳細に解説する。モデルの要素は次の通り：生物＝コンピュータプログラム、適応度＝計算する整数の大きさ、突然変異＝アルゴリズム的変換（Kビットで記述され確率2⁻ᴷ）、進化＝適応度増加型の山登りランダムウォーク。停止性問題のオラクルを用いて無効な突然変異や非停止プログラムを排除する。進化速度の評価にはビジービーバー関数BB(N)を用いる。三つの進化様式を比較すると、「徹底探索」は時間2ᴺ、「知的設計」は時間N、「累積的ランダム進化」は時間N²～N³でBB(N)に到達する。進化した生物は停止確率Ωのより良い下界近似となる。本章は「ランダム性は創造的である」「知性は自発的に創発する」という核心的主張を数学的に定式化し、メタ生物学の基本定理を提示する。

第5章 サンタフェ研究所講演：進化と生物学的創造性の数学的理論

サンタフェ研究所での講演を再現した本章は、本書の数学的クライマックスである。メタ生物学の定義を改めて提示し、「生命＝遺伝と突然変異を持つシステムで、進化が証明されるもの」とする。アルゴリズム的突然変異の採用が決定的なブレイクスルーであり、これにより突然変異距離をプログラムサイズ複雑性として定義できる。ビジービーバー問題を適応度指標とする理由は、任意の数学的創造性を吸収できるからである。三つの進化様式の比較結果は、ランダム進化が徹底探索より驚異的に速く、知的設計に近いことを示す。証明の核心は、突然変異MᴋがΩのK番目のビットを追加しようとする操作であり、これが確率1/K(log K)²で発生し、N²～N³時間でNビットのΩを得るという点にある。階層構造を扱うための代替モデル（部分再帰的言語や構成可能順序数を用いるもの）も紹介され、今後の研究の方向性が示される。

第6章 メタ生物学の神学的側面

メタ生物学は無神論的理論ではなく、ライプニッツ＝スピノザ＝アインシュタイン的な神学に立脚する。それは世界を数学的に構築された芸術作品と見るピュタゴラス的視点であり、神が介入しなくとも生命が自発的に生じる世界の方が「より完全」であるというライプニッツの議論と整合する。チャイティンはプラトン的数学世界を「すべての可能な物理宇宙を含む実在」と捉え、我々の知識は常に部分的で変化するとする。ダーウィンが神をランダム性で置き換えたことは、機械的決定論的宇宙より創造的で解放的である。ランダム性は驚きと可塑性をもたらし、これはベルクソンの『創造的進化』やショーの「生命の力」、ドゥルーズの「生成」と共鳴する。本章は、メタ生物学が単なる科学理論でなく、世界理解の深い哲学的枠組みであることを示す。

第7章 創造性の政治学（社会ダーウィニズム → 社会メタ生物学）

メタ生物学によれば、生命の目的は遺伝子の保存ではなく創造性そのものである。バッハ、モーツァルト、オイラー、カントール、ラマヌジャンなどの例は、人間の創造性の神秘性を示す。チャイティンは国家を創造性（科学的・芸術的・技術的・社会的アイデアの生産）で評価すべきであり、硬直化した社会は滅びると主張する。古代ギリシャやルネサンスイタリアの創造性は分権化に由来し、現代の工場的科学（研究費助成・査読システム）は創造性を殺す。ファイヤアーベントの『方法への反逆』は政治書であり、社会が方法を強制するからだ。ヴァン・ヴァレンが研究費を拒否した事例、シュウィンガーの論文拒否、ロッシの独自ジャーナル創設などは、現行システムの病理を示す。タルムード的伝統に象徴される議論と創造性の文化こそが、社会の存続に不可欠であり、「創造性を許容する社会」をデザインすることが現代の急務である。

第8章 数学は究極的に何を達成できるか？：メタ生物学とその先

わずか3年で基礎理論が構築されたことは驚きであり、数学の有機的・進化的性質を示す。未来の数学は現在の「ヒルベルト的形式公理化」や「ポストモダン数学」を超えて変容するだろう（プランクの科学進歩論）。メタ生物学の将来方向としては、(1)計算時間制限を設けた実験的メタ生物学（オラクル不要）、(2)部分再帰的言語や生物学的プログラミング言語の利用、(3)集団や性の導入、(4)ソフトウェア工学的技法（オブジェクト指向・カプセル化）の応用が考えられる。より広く、ゲーム理論（道徳や協力の数学的理論）、意識の数学的理論、歴史動態学など、現在は夢に見える領域も将来の数学が扱うかもしれない。チャイティンは「拡張コペルニクス原理」（我々は時間的にも特別な位置にいない）を掲げ、量子情報理論がすでに物質から情報へのパラダイムシフトを完了したと論じる。本書の詳細は間違っていても、問題提起としての価値はシュレーディンガー『生命とは何か』と同様に重要である。

付録1 フォン・ノイマンの「DNA＝ソフトウェア」論文

フォン・ノイマンの1951年論文「オートマタの一般理論と論理理論」の核心部分を収録する。この論文では、複雑性の概念、チューリングの計算理論、そして自己複製オートマタの構成原理が論じられる。フォン・ノイマンは、自己複製を可能にするために「記述」（遺伝情報）と「構築機構」を分離する必要性を証明し、これが後のDNA＝ソフトウェア概念の数学的先駆けとなった。この論文はブレナーを通じて分子生物学の創始者たちに影響を与え、生命の情報的側面に焦点を当てる視座を提供した。チャイティンは、この論文がメタ生物学の「創設文書」であると位置づける。

付録2 証明の核心

第5章で概説された証明の数学的詳細を補足する。停止確率Ωの定義（自己区切りのプログラム群に対する和）から始め、Ωᴋ（Kビット以下の停止プログラムで時間K以内のものの部分和）がΩへの単調増加下界近似であることを示す。巨大整数NとΩの良い下界近似の等価性を確立した後、突然変異Mᴋの正確な動作を定義する：Mᴋは生物Aの適応度φAを用いて下界Ω{φ_A}を計算し、2⁻ᴋを加えた値βがΩ未満なら新生物αβを出力し、そうでなければ停止しない。M₁、M₂、…を順に試すことでΩのビットを1ビットずつ獲得できる。ランダムな突然変異では各Mᴋが確率～1/K(log K)²で発生し、N²～N³時間でNビットのΩが得られる。これが「ランダム進化が知的設計に近い速度を達成する」ことの数学的根拠である。

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

  • 想定読者：生物学の理論的基盤に関心のある数学者・計算機科学者・理論生物学者。進化論の哲学的含意に興味を持つ知識人。ガチティンのアルゴリズム情報理論に親しみのある読者。
  • 前提知識：初等計算機科学（プログラム・アルゴリズムの基本概念）と高校数学程度の知識。第4～5章と付録2はアルゴリズム情報理論の専門知識があると理解が深まるが、平易な説明で一般読者にも配慮されている。
  • 分量・難易度：約180ページのコンパクトな書籍。数学的部分（第4～5章）はやや難解だが、概念的説明（第1～3章、第6～8章）は平易。通読には数時間〜十数時間程度。
  • 読みどころ：議論の中核は第5章（サンタフェ研究所講演）。先に第1～3章で背景を把握し、第5章に集中するとよい。数学的証明に興味があれば付録2を、思想的含意に興味があれば第6～8章を読むと理解が深まる。第2章と第3章はメタ生物学の概念的基盤として特に重要。

ソフトウェアとしての生命：チャイティンのメタ生物学を問う

by DeepSeek

証明か、それとも壮大な比喩か

最初に読んで感じたのは、ある種の居心地の悪さだった。生物学に数学的基礎を与えようという試み自体は魅力的だが、DNAを「ソフトウェア」と呼び、進化を「ランダムウォーク」と定義し、停止性問題のオラクルを用いて「進化が働くことを証明した」と言われても、正直なところ「それがどうした？」という気持ちが先立つ。チャイティンは自ら「この結果は私自身にも奇妙に見える」と認めている。その奇妙さの正体を、もう少し丁寧に掘り下げてみたい。

モデルの単純化は「悪しき単純化」か、それとも「本質の抽出」か

チャイティンは自らのモデルを「おもちゃモデル」と呼び、理論物理学における理想化と同種のものだと位置づける。実際、彼はメイナード＝スミスの「生命とは進化するもの」という定義を拠り所にし、代謝や身体を捨象して「ソフトウェアだけ」の生物を考案する。この潔さには一種の美的な魅力がある。ピュタゴラス派が世界を数で説明しようとしたのと同じ精神だ。

しかし、ここで問わねばならないのは、単純化が「本質の抽出」になっているか、それとも「重要な要素の切り捨て」になっているかという点だ。チャイティンのモデルでは、生物はただ一つの整数を計算し、その大きさが適応度となる。すると進化は「より大きな数を計算するプログラムへの探索」に帰着する。これは明らかにビジービーバー問題の枠組みであり、数学的には見事だが、生物学的にはどうだろうか。

実際の生物の適応度は、環境、捕食者、競争者、共生者、温度、湿度、栄養など無数の要因に依存する多変数関数である。それらすべてを「整数の大きさ」に還元することは、もはや単純化の域を超えて、問題そのものをすり替えているように思える。チャイティンは「エネルギーはどうにでもなる」とブレナーを引き合いに出すが、それは情報理論の内部では正しくても、実際の細胞が情報を処理するには物理的・化学的な制約が伴う。ソフトウェアはハードウェアなしでは動かない。

もっとも、彼の主張は「実際の生物学を説明する」ことよりも「進化の数学的構造を抽出する」ことにあるのだろう。だとすれば、この単純化は許容されるかもしれない。理論物理学が「摩擦のない平面」を考えるのと同じだ。ただし、その場合でも、「整数の大きさ」という一次元の適応度が、進化の創造性という多次元の現象の何を捉えているのかは、なお不明瞭である。

オラクルという「神の介入」——証明の隠れた前提

チャイティンの証明で最も気になるのは、停止性問題のオラクルへの依存だ。彼のモデルでは、(1)突然変異プログラムMが出力Bを生成するかどうか、(2)Bが停止して整数を出力するかどうか、(3)Bの出力がAより大きいかどうか、を判定するためにオラクルが必要である。言い換えれば、彼の「進化」は、チューリングマシンでは原理的に解けない問題を解く超自然的な能力を前提としている。

彼はこの点を「数学的ファンタジー」と認めつつも、あまり重視していないように見える。しかしここが重大な分水嶺だ。「オラクルがあれば進化が速い」という主張は、オラクルがなければ成り立たない。実際の生物はオラクルを持たない。突然変異が有益かどうかは、その結果が生存と生殖に現れるまで分からない。チャイティンのモデルは、進化の「試行錯誤」の本質を、オラクルによる即時フィードバックに置き換えてしまっている。

彼は「より現実的なモデルでは計算時間を制限し、オラクルを避ける」と将来の課題に委ねるが、それでは現在の「証明」が何を証明しているのか曖昧になる。オラクルありきの証明は、現実の進化について何を教えてくれるのか。私はこの点で、チャイティンの理論は「進化の証明」というより「進化が起こりうる数学的宇宙の構成」に近いと感じる。

数学的創造性＝生物学的創造性というアナロジーの射程

チャイティンは、ゲーデルの不完全性定理とチューリングの停止性問題を、生物学の創造性の根拠として持ち出す。数学が非機械的で創造的だから、進化も永遠に続く——この議論は直感的に魅力的だが、論理的な飛躍がある。

不完全性定理は形式的体系の限界を示したものであり、生物の進化可能性を直接保証するものではない。ビジービーバー関数がいかなる計算可能関数よりも速く成長することは、ある種の「無限の創造性」を確かに示唆するが、それは数学的対象としての無限であって、現実の生物が時間と資源の制約の中で実際に創造性を発揮できることとは別物だ。

チャイティンはこの点を自覚しているのか、「メタ生物学は実際の生物学からさらに遠い」と断っている。しかしそれならば、なぜ「ダーウィンを証明する」という挑戦的なタイトルなのか。彼は「生物学的創造性＝数学的創造性」という等式を、比喩ではなく実質的な同一性として提示しているように読めるが、その同一性は証明されておらず、むしろアナロジーの域を出ない。

それでもなお——メタ生物学の真正の価値

ここまで批判を重ねてきたが、チャイティンの試みを無価値だとは思わない。むしろ、私は彼の議論に一貫して感じる「居心地の悪さ」こそが、この理論の真の価値を示しているようにも思う。というのも、彼が問いかけているのは「進化の数学的証明」という従来の生物学が避けてきた問いそのものだからだ。

集団遺伝学は確かに強力な理論だが、それは「既存の遺伝子プール内での頻度変化」を扱うに過ぎない。新しい遺伝子、新しい構造、新しい機能がどこから来るのか——創造性の源泉——について、数理生物学はほとんど何も語ってこなかった。チャイティンはその空白に真正面から挑んでいる。彼のモデルが不完全でも、その問いの立て方自体が重要だ。

また、彼が「生物学＝ソフトウェア考古学」と呼ぶ視点は、エボデボ（進化発生生物学）の知見と見事に調和する。我々のゲノムには、魚類のサブルーチン、両生類のサブルーチンが積み重なっている。これは単なる比喩ではなく、実際の発生プロセスの理解において生産的なメタファーである。チャイティンはこのメタファーを数学的枠組みに昇華しようとした。その試みは、現実の生物学に直接適用できなくとも、思考の道具としては価値がある。

さらに、彼が第六章で展開する神学的・認識論的考察——ライプニッツの「奇跡なき世界」への憧憬、ピュタゴラス的数学観、創造性を中心に据えた世界観——は、科学と人間の創造性の関係を考える上で示唆に富む。彼は「ランダム性は機械的決定論より創造的だ」と述べる。この主張は、単なる数理モデルを超えて、自由と創造性をどう理解するかという深い哲学的問いにつながる。

総括

チャイティンのメタ生物学は、「進化の証明」としては説得力に欠ける。そのモデルはオラクルという非現実的な前提に依存し、適応度を整数に還元する単純化は生物学的実態からかけ離れている。また、数学的創造性と生物学的創造性の同一視は、アナロジーとしては刺激的だが論理的接続は薄弱である。

しかしそれでもなお、この本には無視できない価値がある。それは、従来の数理生物学が扱わなかった「創造性の源泉」という問いを、数学的・哲学的枠組みで定式化しようとした点だ。彼のモデルは、実際の進化の説明ではなく、進化がいかにして新しいものを生み出しうるかという可能性の条件を探る思考実験として読むべきだろう。生物学に「理論物理学」を求める彼の野心は、おそらく実現しない。しかし、その野心が投げかける問いは、生物学の未来を考える上で決して無駄ではない。チャイティン自身がシュレーディンガーの『生命とは何か』に言及しているように、細部が間違っていても、問いそのものが時代を動かすことがある。メタ生物学はその系譜に連なる——少なくとも私はそう評価したい。

神託を呼び込んだ証明：進化は何によって駆動されたか

Proving Darwin: Making Biology Mathematical

by Claude Opus 4.8

「証明する」という語が背負わされた重さ

最初に引っかかるのは題名である。「ダーウィンを証明する」。これは控えめな仮説の提示ではなく、ほとんど挑発だ。グレゴリー・チャイティン（Gregory Chaitin）は、友人デイヴィッド・バーリンスキ（David Berlinski）のダーウィニズム批判への応答としてこの本を書いたと前置きしている。物理学には美しい数学理論があるのに、生物学にはダーウィン理論の本質を捉えた数学的証明がない。それは「数学的スキャンダル」だ、と。だから自分が証明する。野心は壮大である。

ところが本文を読み進めると、題名の大言壮語は静かに撤回されていく。最終章で著者は言う。たとえ本書のほとんどが間違っていても、シュレーディンガー（Erwin Schrödinger）の『生命とは何か』が分子生物学を触発したように、本書が進化の数学理論への作業を刺激してくれればそれでいい、と。これは「証明した」と宣言する者の言葉ではない。題名は旗印であって、結論ではない。では、旗の下で実際に証明されたのは何なのか。それを正確に切り分けることが、この本に対する誠実な向き合い方だと思う。

ソフトウェアとしての生命、その骨組み

チャイティンの構築物は驚くほど簡素だ。生命をソフトウェアとみなす。DNA を「万能プログラミング言語」（universal programming language、あらゆるアルゴリズムを表現しうる言語）と同一視する。身体も代謝も捨て、リチャード・ドーキンス（Richard Dawkins）に倣って遺伝子＝ソフトウェアだけを残す。こうして生まれるのが「メタバイオロジー」（metabiology、生物学と並行して人工ソフトウェアのランダムな進化を扱う領域）である。

模型の中身は、要素を分けて見ると次の四つに尽きる。

  • 生物（organism）：単一の整数を計算して停止するプログラム。
  • 適応度（fitness）：そのプログラムが計算する整数の大きさ。大きいほど適応的。
  • 変異（mutation）：元の生物 A を入力として受け取り、変異体 A′ を出力するプログラム M。K ビットの M は確率 2 の −K 乗を持つ。これが「アルゴリズム的変異」である。
  • 選択（selection）：A′ が A より適応的なら A を置き換える。さもなくば再び A を変異させる。

なぜ整数を大きくすることが創造性を要求するのか。N から N＋N へ、N×N へ、N の N 乗へ、さらにその反復へと進むには、加法・乗法・冪・超冪を次々と「発明」しなければならない。大きな数を名づける営みは、際限なく数学的創造性を吸い込む。だからチャイティンは進化の速度を「ビジービーバー関数」（Busy Beaver function、N ビット以下のプログラムで名づけうる最大の整数）で測る。この関数は、いかなる計算可能関数よりも速く増大する。

ここまでは、ダーウィン理論を計算理論の語彙へ翻訳する作業として、端正で見通しがよい。問題は、この機械がどうやって動くのかを問うた瞬間に現れる。

創造性はどこから来るのか――神託という急所

著者自身が、ほとんど何気ない調子で核心を漏らす。「神託（oracle）こそ、この模型で創造性が本当に湧き出している場所だ。少し隠れているが、確かにそこにある」。

神託とは何か。チューリング（Alan Turing）の 1939 年の論文に由来する概念で、通常の計算機では計算できないものを与えてくれる装置である。とりわけ、あるプログラムが停止するか否かを判定してくれる。これは「停止問題」（halting problem、任意のプログラムが停止するかを決定する問題）に対する神託であり、停止問題はチューリングが示したとおりアルゴリズムでは解けない。

なぜメタバイオロジーに神託が要るのか。アルゴリズム的変異はしばしば、停止せず何の整数も出力しないプログラムを生む。それを走らせて確かめることは原理的にできない――停止問題そのものだからだ。だから「停止しない生物・変異を飛ばせ」と告げてくれる神託が要る。さらに、A′ が A より適応的かを判定するのにも神託が要る。

ここで率直に言えば、最初に覚えるのは違和感である。これは手品ではないのか。「もし停止問題を解く魔法の装置があれば、ランダムな変異でもビジービーバーの丘を効率よく登れる」と言っているだけではないか。現実の生物に、停止問題を解く神託など存在しない。だとすれば、現実の進化について何が証明されたのか。チャイティンはこの空白を半ば認めている。メタバイオロジーが本物の生物学にどこまで関係するかは「今後を見なければわからない」と。

題名の野心と、この自認の落差は大きい。だがこの違和感を、もう一段深く辿ってみたい。

選択とは、世界が遺伝子に書き込む情報である

違和感の正体を掘り下げると、見え方が反転する箇所がある。神託は、現実の生物学において「環境」が果たしている役割の数学的な代理物なのだ。

考えてみれば、自然選択において適応度を「計算」している者はいない。環境は、ある変異が有利かどうかを算出するのではなく、ただ生かすか殺すかによって判定を下す。選択というステップは、生物が内部で走らせるアルゴリズムではなく、世界の側で起こる物理的な事実である。チャイティンの神託は、まさにこの非アルゴリズム的な判定――外部から注ぎ込まれる情報――を形式化したものとして読める。

そう読むと、模型の中で進化する生物が「Ω（停止確率、チャイティンが定義した最大限に圧縮不可能な実数）の下界の、より良い近似」へ収束していくことの意味が立ち上がる。Ω は「結晶化し凝縮された数学的創造性」であり、無限の圧縮不可能な情報を含む。受理された変異の一つひとつは、Ω の数値の 1 ビットを外から教わることに等しい。つまり選択とは、系統の内部では決して生成できない情報を、世界から系統へ書き込む通信路なのだ。「N ビットの創造性」とは、世界が生物に告げた N ビットにほかならない。神託は不正ではなく、自然選択の正体の精密な定式化だった。違和感を抱いた箇所を読み返すと、むしろここに本書の最も鋭い洞察がある。

そして、ここでようやく本当の定理が見える。三つの進化様式を比較するのが本書の数学的な山場である。

  • 力まかせの全数探索（exhaustive search）：過去の生物を無視し、毎回ゼロから試す。ビジービーバーの適応度 BB(N) に達するのに時間 2 の N 乗。
  • 知的設計（intelligent design）：最良の変異列を選ぶ数学者（神ではない）。時間 N。
  • 累積的進化（cumulative evolution）：本書のランダムウォーク。時間 N の 2 乗から 3 乗のあいだ。

非自明な内容はここにある。適応度が決して下がらないという「ラチェット」（爪車、記憶が適応度に蓄えられる仕組み）と、受理・棄却を告げる神託さえあれば、ランダムな歩行は最良の設計者から多項式の差しか離れず、記憶を持たない全数探索よりは指数的に速い。累積的選択は、神託を前提とするかぎり「設計とほぼ同じくらい賢い」。チャンスが提案し、神託が処分する。これはジャック・モノー（Jacques Monod）の「偶然と必然」を、必然の在処を物理法則ではなく Ω の圧縮不可能な構造へ置き換えて再導出したものだと言える。新しさは、必然がどこに宿るかという一点にある。

数学的でありながら機械的でない、という空隙

ここから先、本書は神学・政治・認識論へと一気に踏み出す。チャイティンはピタゴラス主義者であり、世界の究極の基盤は数学だと信じる。メタバイオロジーは無神論ではなく、ライプニッツ（Leibniz）やスピノザの神、つまり数学者である神の作品としての世界という発想に与する、と。

だが、この壮大な上部構造は危うい足場に乗っている。創造性の源は神託＝Ω だと名指された。Ω は永遠不変の数学的対象であり、プラトン的世界に静かに、初めから存在している。すると奇妙なことが起こる。進化する生物は、実は何も創造していない。彼らは、永遠に在る無限の鉱脈（Ω）を 1 ビットずつ採掘しているにすぎない。「創造性」は Ω のものであって、はじめから固定されている。世界の新しさは存在論的なものではなく、認識論的なものだ――Ω はつねにそうであったが、我々が少しずつそれを学ぶ、というだけの。

これはチャイティン自身のレトリックを反転させる。彼は「ランダムネスが神を置き換える、ランダムネスは創造的だ」と書く一方で、創造性の中身をすべて永遠固定の Ω に預けてしまう。提案するのはランダムネスだが、創造の実質は微動だにしない数学的景観の側にある。これを創造と呼ぶか、発見と呼ぶか。プラトン主義者にとっては、永遠の真理の発見こそが唯一の創造なのだから、矛盾はないと彼は答えるだろう。だが、生物の真の新しさを語ろうとした当初の動機からすれば、これは大きな後退に見える。

ここで本書の最も興味深い遺産を、著者の意図を超えて取り出しておきたい。メタバイオロジーは「数学的でありながら計算可能ではない」という立場を、厳密な形で体現している。Ω は数学的対象でありながら計算不可能だ。数学は計算を真に包含する。この一点は、心を計算へ還元する立場（計算主義）を退けたいが、心を法則的・数学的なものとして語る余地は残したい――という、ありそうでなかなか見つからない概念空間を、はっきりと開いてくれる。心の非計算可能性は、世界の非数学性を意味しない。チャイティン自身は終章で意識に触れ、自己言及的な非整礎集合との関連づけを「まだ十分に深くない」と退けるにとどまるが、彼が用意した足場そのものは、機械論に与しない心の哲学にとって貴重である。

機械論批判の道具（不完全性・計算不可能性・創造性）を用いて、より高度に数学化された存在論を打ち立てる。ラ・メトリ（La Mettrie）の「人間機械論」を「人間ソフトウェア論」へ置き換える。だが開かれたプログラムも、なおプログラムである。機械論からの脱出は、結局のところ神託という超計算的な虚構に全面的に依存している。この緊張こそ、本書を読む価値の中心にある結び目だ。

創造性への愛が、警戒の機能を溶かすとき

もう一点、見過ごせない箇所がある。政治を論じる第 7 章で、チャイティンは制度化された「工場科学」――査読・グラント・正常科学の体制が逆説的破壊（paradigm shift）を窒息させる構造――を批判する。リー・ヴァン・ヴェイレン（Leigh Van Valen）の「赤の女王」仮説が何度も掲載拒否された逸話、ノーベル賞受賞者ジュリアン・シュウィンガー（Julian Schwinger）の論文が冷遇された逸話。これらは制度的門番の失敗の、真っ当な事例である。

しかし同じ流れで、彼はアンドレア・ロッシ（Andrea Rossi）の常温核融合装置を、2011 年 1 月のボローニャでの実演を根拠に、安価で実用的・信頼でき安全な本物として受け入れ、「2011 年内に商用機を出荷する意向だ」と書き添える。出荷はなされなかった。装置は今日に至るまで独立に検証されていない。これは権威が偽だと言うから偽だ、という論法ではない。予告された製品が現れなかったという、内在的な証拠の問題である。

教訓は、この分析の枠組みそのものの内側にある。抑圧された異端を擁護する機能と、偽の新規性を警戒する機能は、別々の二つである。前者を称揚するあまり後者を溶かしてはならない。創造性を深く愛するという、まさにチャイティンを生成的で魅力的にしている資質が、同時に彼を真贋の悪い濾過装置にしている。生成軸での豊かさと、真理軸での慎重さは、取り違えてはならない。

総括

「ダーウィンを証明する」という題名は、何も証明していない。証明されたのは、停止問題の神託を前提とするおもちゃの模型において、累積的なランダム選択が、無限に創造を続けながら最良の設計者から多項式の差しか離れずに進む、という限定的だが本物の定理である。神託を取り除いた瞬間、現実の進化への含意はほぼ消える。そしてダーウィンの本来の達成は、設計者を消去したことにあった。チャイティンの模型は、効率的で開放的な創造性を得るには非アルゴリズム的な判定装置が要ると示すことで、ダーウィンが追放したかったものに不気味なほど近づく。彼はそれを神学的に「内在する神の数学」として鎮めるが、それは選択であって証明ではない。

到達点はこうだ。メタバイオロジーは、証明としてではなく、生成装置として読むべき構築物である。それは選択を「世界が遺伝子へ書き込む情報の通信路」として捉え直す洞察を含み、「数学的でありながら計算不可能」という、機械論に抗う心の哲学が必要としてきた概念空間を厳密に開く。だが同時に、創造性を永遠固定の Ω へと実体化し、形式の残余（停止問題の計算不可能性）を宇宙の創造原理へと持ち上げる越権を犯す。チャイティン自身の最終的な自己理解――「すべてが間違っていてもよい、この問いを開ければよい」――こそが、この本の正しい受け取り方を教えている。証明はされなかった。だが、開かれた問いは大きい。生命の創造性は、永遠に在るものの採掘なのか、それとも本当に新しいものの生成なのか。本書は、この問いを以前より鋭く立てられる地点まで我々を運ぶ。それで十分だ、と著者なら言うだろう。