ヒルベルト・ポアンカレ・ゲーデル — 20 世紀初頭の基礎論

20 世紀数学の 出発点

前記事 [ガロア・ラマヌジャン] で見た 悲劇の天才たちの時代を経て、 20 世紀は より制度化された 数学 の時代へ。 その 出発点に立つ 3 人が:

• ダフィット・ヒルベルト (1862-1943) — ドイツ・ゲッティンゲン学派 の中心、 20 世紀数学の方向を決定
• アンリ・ポアンカレ (1854-1912) — フランス、 「最後の万能数学者」 、 トポロジー・カオス・相対論
• クルト・ゲーデル (1906-1978) — オーストリア、 不完全性定理でヒルベルトの構想を打ち砕く

「数学の 完全性を証明しよう」 としたヒルベルトの夢が、 1931 年 25 歳のゲーデル によって 「数学は 自分自身の完全性を 証明できない」 と示される — 20 世紀数学の 最も劇的な 論理的展開。

ダフィット・ヒルベルト — 20 世紀数学の 中心

ダフィット・ヒルベルト (David Hilbert、 1862-1943) は ドイツの数学者で、 20 世紀数学の方向を決定づけた 中心人物。 東プロイセン・ケーニヒスベルク生まれ (前記事 [オイラー・ガウス] のオイラーの ケーニヒスベルクの橋 と同じ都市)。 1895 年からゲッティンゲン大学 に着任、 フェリックス・クラインとともに 同大学を 「世界の数学の中心地」 に育て上げた。

業績の 幅

期	主題	主な業績
1885-1893	不変式論	ヒルベルトの 基底定理
1893-1898	代数的整数論	[数論報告] (Zahlbericht)
1898-1902	幾何学基礎論	[幾何学基礎論]
1900-1910	積分方程式	ヒルベルト空間 の原型
1910-1920	一般相対論・物理学	アインシュタインと並行して 場の方程式を導出
1920-1930	数学基礎論	ヒルベルト・プログラム

一人で 6 つの主要分野に 決定的な貢献。 「ガウス以後 最大のドイツ数学者」 と評される。

ヒルベルトの 23 問題 — 1900 年 パリ

1900 年 8 月 8 日、 パリで開催された 第 2 回国際数学者会議 で、 ヒルベルトは 「数学の問題」 と題する 講演を行い、 20 世紀に数学が取り組むべき 23 の問題 を提示した。

これは 20 世紀数学の 指針 となり、 多くの数学者が これらの問題に取り組んだ。 主要な問題:

• 第 1 問題 — 連続体仮説 — コーエンの強制法により 決定不能性 が示された (1963)
• 第 2 問題 — 算術の無矛盾性 — ゲーデルの不完全性定理 により 絶対無矛盾性証明は 不可能と判明
• 第 8 問題 — リーマン予想 — 未解決 (ミレニアム問題の一つ)
• 第 10 問題 — ディオファントス方程式の 決定可能性 — マチャセヴィッチが 決定不能性を証明 (1970)

公理主義 — 「机・椅子・ビアジョッキ」

ヒルベルトの数学観は 「公理主義」 と呼ばれる。 対象が何であるかではなく、 その対象が満たす性質 (公理) の体系 として数学を扱う。 彼は:

「点・線・面の代わりに、 机・椅子・ビアジョッキを置いても 幾何学は成立しなければならない」

と述べた。 「数学の対象は 具体的な意味を離れて、 記号操作として扱える」 — この 抽象化が、 20 世紀数学の 中心的方法論となる。

[幾何学基礎論] (1899) — ユークリッドを 厳密化

ユークリッド [原論] の公理系には 暗黙の前提が含まれており、 論理的に厳密ではないことが 19 世紀後半に明らかになっていた。 ヒルベルトは 1899 年 [幾何学基礎論] で、 結合・順序・合同・平行・連続性の 5 群の公理 を提示し、 ユークリッド幾何を 完全に厳密化 した。

各公理の独立性を示すために 「ビアジョッキ」 (別物体への置き換え) というモデル論的議論 を駆使した。 これは 現代数理論理学の 出発点。

ヒルベルト空間 — 量子力学の 数学的基礎

積分方程式の研究 (1900 年代) から、 無限次元の 内積空間概念 (現在 ヒルベルト空間 と呼ばれる) を導入した。

ヒルベルト空間は 量子力学の 数学的基礎 となり、 状態ベクトルが住む空間 として 物理学の標準言語となった。 「純粋数学」 として作られた概念が、 20 年後の 量子力学の 基本装置となった。

ヒルベルト・プログラム — 「数学全体を 救う」 構想

「数学を 有限的方法で 無矛盾と証明する」 構想。 命題論理・述語論理を 形式的記号操作として 完全に明示し、 その上に 算術・解析学・集合論を構築する。 これらの体系の 無矛盾性を、 より弱い (有限主義的な) 体系で 証明する ことを目指した。

「数学は 完全である」 「数学は 決定可能である」 「数学は 無矛盾である」 — この 3 つの信念を、 数学自身から証明することが、 プログラムの 究極目標。

1930 年 9 月 8 日、 ヒルベルトは ケーニヒスベルクで 「我々は知らねばならない、 我々は知るだろう (Wir müssen wissen, wir werden wissen)」 と講演を締めくくった。 その翌日、 ゲーデルが不完全性定理を発表した — 数学史における 最も皮肉な 一日の差。

ゲッティンゲン学派 — 「世界の数学の中心地」

ヒルベルトのもとに集まった数学者・物理学者は 20 世紀前半の科学を牽引 した:

• ヘルマン・ワイル — 表現論、 ゲージ理論
• リヒャルト・クーラント — 偏微分方程式、 変分法
• エミー・ネーター — 抽象代数、 ネーターの定理
• ジョン・フォン・ノイマン — 関数解析、 量子論、 コンピュータ設計
• マックス・ボルン (物理学) — 量子力学の 確率解釈

「ゲッティンゲンに行くこと」 が 20 世紀初頭の 数学者の 憧れだった。

1933 年 — ナチスによる 終焉

1933 年のナチス政権成立後、 ユダヤ系の教員・学生が 次々追放 され、 ゲッティンゲンの黄金時代は終わった。

ナチスの教育大臣ルストに 「ユダヤ人を追放した数学は 今どうか」 と問われたヒルベルトは:

「ゲッティンゲンに 数学? もうない」

と答えたという。 数学の 政治的破壊の 象徴的瞬間。 ゲッティンゲンから アメリカ (プリンストン)・イギリスへの 大量頭脳流出が、 20 世紀後半の アメリカ数学の 隆盛を用意した。

アンリ・ポアンカレ — 「最後の万能数学者」

ジュール・アンリ・ポアンカレ (Jules Henri Poincaré、 1854-1912) は フランスの 数学者・物理学者・科学哲学者。 ナンシー生まれ。 19 世紀末から 20 世紀初頭にかけて、 純粋数学・天体力学・電磁気学・統計力学・科学哲学の あらゆる領域で 第一級の仕事 を残した 「最後の万能数学者」 。

以降、 数学は 専門化が進みすぎて、 一人で 全領域を見渡せる 数学者は現れなくなる。 ポアンカレは 数学史における 一つの時代の終わり を象徴する。

活動分野

分野	主な業績	補足
トポロジー	解析位置 (Analysis Situs) シリーズ	ホモロジー、 基本群
力学系	三体問題、 ポアンカレ写像	カオス理論の 源流
自守関数	フックス群、 自守形式	クラインとの 並行発展
相対論	ローレンツ変換、 ポアンカレ群	特殊相対論の 数学的形式
確率	エルゴード理論の前駆	ポアンカレの 再帰定理
科学哲学	規約主義	[科学と仮説]

トポロジーの 創始と ポアンカレ予想

ポアンカレは 1895 年からのシリーズ論文 [解析位置 (Analysis Situs)] で 位相幾何学を 体系的学問として創始 した。 多様体、 ホモロジー、 基本群、 オイラー標数の高次元一般化など、 現代トポロジーの 基本概念の大半 がここで導入された。

特に 1904 年、 3 次元球面の特徴づけに関して 提出した予想:

ポアンカレ予想

「すべての単連結な 閉 3 次元多様体は 3 次元球面 S³ と同相である」

これは 100 年間未解決 のまま、 2002-2003 年に ロシアの グレゴリー・ペレルマン が リッチフローを用いて証明 した。 21 世紀初頭の 最大の数学的事件。 ペレルマンは フィールズ賞と 100 万ドル賞金を辞退 — 次記事の主題の一つ。

三体問題と カオス理論の 誕生

スウェーデン王 オスカル 2 世の 懸賞問題 (1887) で、 ポアンカレは 三体問題の解析に取り組んだ。 最初の提出原稿には 誤りがあり、 印刷後に取り下げて 改訂版を出すことになる (この事件で 結果的に 新発見に至った)。

ポアンカレは:

「太陽系のような単純な力学系であっても、 初期条件のごく僅かな違いが 時間とともに指数関数的に増幅し、 長期予測が 原理的に不可能になる」

ことを発見した。 これがいわゆる カオスの発見 であり、 20 世紀後半の ローレンツ気象モデル、 フラクタル研究、 複雑系科学 へと結実する。 「決定論的な方程式から 予測不可能性が生まれる」 という 反直観的な発見。

特殊相対論への 独立到達

1905 年、 ポアンカレは ローレンツ変換を群として 最初に明示 し、 現在 「ポアンカレ群」 と呼ばれる 対称性群を導入した。 同年、 アインシュタインが 独立に 特殊相対性理論 を発表する。 「相対性原理」 (principe de relativité) という言葉自体も、 彼が 1904 年に提唱したもの。

「アインシュタインに 数か月先んじていた」 と言われるが、 ポアンカレは 物理的解釈において アインシュタインほど 大胆ではなく、 エーテルの存在を 完全には捨てなかった。 歴史的評価としては 「特殊相対論の発見者は アインシュタイン、 その数学的構造の 同等の発見者は ポアンカレ」 。

バスの踏み台の 閃き

ポアンカレ自身の有名な逸話: 自守関数の発見の瞬間 を、 彼は バスの踏み台に足をかけた瞬間 に閃いたと書いている:

「意識的な思考と 無意識の発酵が交錯する 数学的発見のメカニズム」

これは彼の 科学哲学エッセイ [科学と仮説] (1902)、 [科学と方法] (1908) の主題でもある。 「創造的な飛躍こそ 数学の核心」 という 直観主義的な 数学観。 ヒルベルトの 公理主義と 対照的な立場。

クルト・ゲーデル — 25 歳で ヒルベルトの夢を 打ち砕く

クルト・フリードリヒ・ゲーデル (Kurt Gödel、 1906-1978) は オーストリア生まれの 論理学者・数学者。 1931 年に発表した 「不完全性定理」 によって、 20 世紀数学基礎論を 根本から書き換えた。

ウィーン大学で 学位を取得し、 ヒルベルト・プログラムを 内側から崩壊させた 人物 として歴史に名を残した。 後にナチスからの逃亡のため アメリカに渡り、 プリンストン高等研究所で アインシュタインと 親密な友情 を結んだ。

ゲーデルの 主要業績

業績	年	内容
完全性定理	1929	一階述語論理は 完全 (博士論文)
第一不完全性定理	1931	算術を含む無矛盾な形式体系には、 決定不能な命題が存在する
第二不完全性定理	1931	算術を含む無矛盾な形式体系は、 自身の無矛盾性を証明できない
連続体仮説の 相対無矛盾性	1940	構成可能集合 L を使った 相対無矛盾性
回転宇宙	1949	一般相対論の解、 時間旅行可能

23 歳で完全性定理、 25 歳で不完全性定理 — 「若さ」 と 「劇的な発見」 の 数学史における 究極形。

第一不完全性定理 (1931) — ヒルベルトを 打ち砕く

論文 [プリンキピア・マテマティカおよび 関連体系の 形式的に決定不能な命題について] で証明された。

証明の核心は ゲーデル番号 (Gödel numbering)。 形式体系の 記号・式・証明列に すべて自然数を割り当て、 「証明可能性」 を 自然数の述語として表現する。 そして 自己言及命題:

「この命題は 証明できない」

を体系の中で構成する。 もし証明できれば 偽となり、 矛盾。 もし証明できなければ 真。 よって 体系が無矛盾ならば、 この命題は 決定不能。

リシャールのパラドックス、 嘘つきのパラドックス、 カントールの対角線論法 を 巧みに数学的に形式化した結果。

第二不完全性定理 — 数学は 自分の完全性を 証明できない

第一不完全性定理から続けて、 「体系の無矛盾性 (Con(T)) を表現する命題は、 体系内では 証明できない」 が導かれる。

ヒルベルトの 「ある体系の無矛盾性を その体系内 (または弱い体系) で示す」 という構想は、 ここで 原理的限界に突き当たる。 数学が 自分自身の 完全性・無矛盾性を 自分では 証明できない — これが 20 世紀数学の 最大の哲学的発見。

ヒルベルトの 講演と ゲーデルの 発表 — 24 時間の 悲劇

• 1930 年 9 月 8 日 — ケーニヒスベルクで ヒルベルトが 「我々は知らねばならない、 我々は知るだろう」 と講演
• 1930 年 9 月 7 日 — その 前日、 同じケーニヒスベルクで ゲーデルが 不完全性定理の予告 を発表

ヒルベルトは 会議に出席していたが、 ゲーデルの発表に 立ち会わず。 「数学は 完全である」 と信じ続けていた ヒルベルトは、 同じ会議で 自身の夢が 打ち砕かれていた ことに 気づかなかった。 数学史における 最も皮肉な タイミング。

集合論への 寄与

1938-1940 年、 ゲーデルは 構成可能宇宙 L を構成 し、 「ZF が無矛盾ならば、 ZFC + 連続体仮説 + 選択公理も無矛盾」 を示した。 これは 集合論最初の 相対無矛盾性結果。

その後 コーエンが強制法で 逆方向 (連続体仮説の否定の 相対無矛盾性) を示し (1963)、 連続体仮説の独立性 が確立される。 ヒルベルトの第 1 問題が 「決定不能」 として決着した瞬間。

回転宇宙と アインシュタイン

1949 年、 アインシュタインの 70 歳の誕生日プレゼント として、 ゲーデルは 一般相対性理論の方程式の解 を提示した。 回転する宇宙モデル で、 閉じた時間的曲線 (CTC) が存在、 すなわち 時間旅行が原理的に可能。 物理的に現実的でないにせよ、 一般相対論の 概念的可能性を示した 重要な解。

プリンストン — アインシュタインとの 友情

1940 年に アメリカに亡命。 プリンストン高等研究所で 終生過ごす。 アインシュタインとは 毎日散歩する仲 となり、 晩年のアインシュタインは:

「研究所に通うのは ゲーデルと話すためだ」

と語ったと伝えられる。 二人とも ドイツ語圏出身 (ゲーデルは ユダヤ人ではないが ナチス支配下を逃れた) で、 孤独な天才同士の 盟友関係。 プリンストンで ゲーデルとアインシュタインが ほぼ毎日散歩する姿は、 研究所の風物詩 だった。

アインシュタインは追悼文で:

「彼は 私が知る 最後の本物の天才だ」

と 書いた。 20 世紀最高の物理学者が、 20 世紀最高の論理学者を 認めた 稀有な瞬間。

米国市民権面接の 逸話

市民権面接の準備中、 ゲーデルは 合衆国憲法を熟読し、 「これは 独裁体制が成立しうる 論理的抜け穴を含んでいる」 と発見した。 同伴した アインシュタインとモルゲンシュテルン は、 面接で彼にこの 「発見」 を 持ち出させないよう 必死に止めた という。 有名なエピソード。

「論理の抜け穴を見つける」 という 論理学者の 職業病が、 憲法にまで及んだ 珍しい事例。

ゲーデルの 悲劇的な 最期

アインシュタインの死後、 ゲーデルは ますます内向的になり、 被害妄想 (主に毒殺への恐怖) が強まる。 妻アデーレが入院中、 食事を拒否し続け、 1978 年に餓死 した。 死亡時の体重は 29 kg。

「食事を作る妻を 唯一信じ、 妻がいないと食べられない」 という 極度の対人不信 が、 20 世紀最大の論理学者を 死に至らしめた。 論理の巨人が、 論理では解けない 人間の脆弱性 に敗れた 最期。

現代への 影響

ヒルベルト → 現代数学

• 量子力学 — ヒルベルト空間が 状態空間として 中心役割
• 計算機科学・論理学 — ヒルベルト・プログラムから 証明論、 決定問題、 計算理論 へ
• 代数幾何 — ヒルベルトの零点定理 (Nullstellensatz)
• 物理 — ヒルベルト・アインシュタイン作用、 一般相対論の場の方程式

ゲーデル → 現代思想

• 計算機科学 — ゲーデル数法は チューリングの 計算可能性理論の基礎。 プログラムをデータとして扱える理由
• 数理論理学 — モデル理論、 証明論、 再帰理論
• AI・哲学 — ペンローズ [皇帝の新しい心] は、 ゲーデルの定理から 「人間の知性は 形式的計算を超える」 と論じる
• ホフスタッター [ゲーデル、 エッシャー、 バッハ] — ゲーデルの自己言及を エッシャーの絵・バッハの音楽と 結びつけた カルト的名著

ポアンカレ → 21 世紀

• 力学系・カオス — 気象、 生態、 経済、 神経科学
• トポロジー・幾何 — 4 次元多様体、 結び目理論、 ゲージ理論
• 物理 — 相対論、 シンプレクティック幾何
• 数論 — 保型形式、 ラングランズ・プログラム

この記事から次の記事へ

ヒルベルト・ポアンカレ・ゲーデルの 20 世紀初頭の基礎論を辿った。 次記事では、 その 同時代の 女性数学者 — エミー・ネーター (1882-1935) と ソフィー・ジェルマン (1776-1831) に入る。 ヒルベルトが 「大学は 風呂屋ではない」 と言って 権利を勝ち取った ネーター、 男性名で 手紙を書いていた ジェルマン、 制度と数学の 交差点で 業績を残した 女性たちの 系譜を辿る。