ヒルベルトのプログラム

数学を一から完全に基礎づける夢

20世紀初頭、数学は基礎的な危機に直面していた。カントールの集合論が生み出した逆説（バートランド・ラッセルが発見した「自分自身を含まない集合の集合」という自己矛盾）が、直観的に正しいと思われた推論が矛盾を生み出すことを示したのだ。この危機に対してダフィット・ヒルベルトは野心的な解決策を提案した。すべての数学を、明示的な公理から有限のステップで記述できる形式体系に基礎づけ、その体系が無矛盾かつ完全であることを有限的手段で証明する——これが「ヒルベルトのプログラム」だ。数学の確実性を数学自身の内部から回復するという、自己言及的な壮大な計画だった。「数学とは何か」という問いを哲学的論争ではなく、技術的に解決しようとした点に、このプログラムの野心がある。

形式体系という方法論的革新

形式体系とは、意味から切り離された記号と、それを操作する規則の集合だ。「2+2=4」が「正しい」のは、記号列の変換規則に従ったときに導出されるからだ。意味の問いを括弧に入れて、操作の規則だけを精密に定義する。この「形式化」によって数学の基礎論を、哲学的論争ではなく技術的な問題として扱えるようになると、ヒルベルトは考えた。数学的証明を機械的な記号操作として定義することで、証明の正しさを客観的に検証できるはずだという発想だ。証明の正しさを「分かる」のではなく、規則に従って「確認できる」ことへの転換は、後の計算機科学の発想の先駆けでもあった。

不完全性定理による崩壊

ヒルベルトのプログラムは1931年、クルト・ゲーデルによって原理的に達成不可能であることが示された。高橋昌一郎のゲーデルの哲学が詳述するように、ゲーデルは「不完全性定理」によって、自然数論を含む体系は無矛盾であれば不完全であることを証明した。体系が十分に豊かであれば、必ず「証明できないが真である命題」が存在する。さらに、体系の無矛盾性はその体系の内部では証明できないことも示した。不完全性定理は、ヒルベルトが目指した「有限的手段による完全性・無矛盾性の証明」を原理的に不可能にした。証明することの限界を、証明によって示した逆説的な偉業だ。

プログラムが拓いた数学の地平

ヒルベルトのプログラムは失敗したが、その遺産は計算可能性理論・モデル理論・証明論という現代数学の重要な領域を生み出した。チューリングマシンの概念もこの文脈から生まれた。ラングランズ・プログラムという現代数学の大きな野心も、異なる数学領域のあいだの深い統一性を求めるという点で、ヒルベルトの精神の継承として読める。「数学をひとつの体系として完全に基礎づける」夢は潰えたが、形式化という方法論と「数学の限界を数学で測る」という視点は、20世紀以降の論理学・計算理論・情報科学の基盤として生き続けている。夢の挫折が、新しい地平を開いた。

ヒルベルトのプログラムが失敗したことは、数学基礎論を悲観的な方向に導かなかった。むしろ「数学の限界がある」という知識そのものが数学の一部として認識されるようになり、証明可能性・計算可能性・複雑性という新しい問いが生まれた。「数学でできないこと」を数学で正確に述べる——この逆説的な知の拡張こそが、ヒルベルトのプログラムが残した最大の贈り物かもしれない。

夢の失敗は知の地平を閉じたのではなく、問いをより深く、より豊かなものへと変えた。数学の限界を数学で測るという営みは、人間の知の構造そのものへの問いとして今も続いている。