メタ数学

メタ数学とは、数学的な証明や公理体系そのものを数学の手法によって研究する分野である。「数学についての数学」とも呼ばれ、証明を記号列の操作とみなし、その無矛盾性・完全性・決定可能性を厳密に問う。20世紀初頭にヒルベルトが数学の基礎を守るために構想したが、皮肉にもゲーデルの手によって数学そのものの限界を暴く道具へと転じた。

基礎づけの危機とヒルベルトの構想

20世紀初頭、集合論のパラドックスや無限をめぐる論争が相次ぎ、数学の土台は大きく揺らいでいた。これを受けて1920年代、ヒルベルトは数学全体を厳密な公理系として形式化したうえで、その無矛盾性と完全性を「有限の立場」と呼ばれる、誰もが疑いえない素朴な手続きだけで証明しようとした。これがヒルベルトのプログラムである。ヒルベルト自身はこの営みを「証明論」とも呼んだ。ここで鍵となったのは、証明される対象である数学(対象言語)と、その数学について語る手続き(メタ数学)とを切り分ける発想であり、メタ数学は形式体系を外側から眺め、記号列としての証明が規則通りに組み立てられているかを有限の手続きで検証する営みとして構想された。

対象言語とメタ言語という足場

この分離は、無限集合のような扱いにくい概念に頼らざるを得ない数学に対する、直観主義者らの批判をかわす安全装置でもあった。メタ数学の側さえ有限個の記号とその操作だけで議論を進めれば、誰からも文句の出ない確実な足場になる、というのがヒルベルトの読みである。体系の内部で何が証明できるかという問いと、体系そのものについて何が言えるかという問いは、こうして階層の異なる別々の言語に振り分けられた。

ゲーデルの算術化――外の言語を内に埋め込む

ところが1931年、ゲーデルはこの分離そのものを突き崩してしまう。証明や論理式といったメタ数学的な対象に一意の自然数を対応させるゲーデル数の手法により、「ある式は証明可能である」というメタ数学の言明そのものを、数についての算術命題として書き表せることを示したのである。体系の外にあったはずのメタ言語が体系内部の言語へとそのまま翻訳され、体系は自分自身について語れるようになった。その結果、「この式は証明できない」と主張する式さえ体系の中に構成できてしまう。ここから導かれた不完全性定理は、無矛盾な形式体系には真でも証明不可能な命題が必ず存在し、体系は自らの無矛盾性さえ証明できないことを示し、ヒルベルトの構想が目指した完全な基礎づけの夢を打ち砕いた。もっとも全てが潰えたわけではなく、ゲンツェンは1936年、有限の立場をわずかに拡張した手法で算術の無矛盾性を証明しており、プログラムの精神は形を変えて証明論の中に生き続けている。

メタ数学が遺したもの

盾として生まれたメタ数学が、その盾の限界を暴く矛に転じるという逆説を、数学史はそう何度も繰り返さない。だがこの発想――体系を体系自身の言語で分析するという営み――は色あせるどころか、計算可能性理論やコンピュータの停止問題の研究へと受け継がれていった。『ゲーデルの哲学』が丁寧に描くように、体系を外から語る言語と体系の内部の言語の区別にこだわり抜いたからこそ、ゲーデルはその境界を数学的に溶かしてみせることができた。メタ数学は今も、言語が自分自身を語るとき何が起きるかを問い続けている。