数学基礎論
出典: フリー百科事典『ウィキペディア（Wikipedia）』
数学基礎論（すうがくきそろん, foundations of mathematics）は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。
厳密な論理によって構成される数学は、発展するに従って自分自身をも厳格に定義する方向へと進み、多くの数学者・論理学者がその夢に心血を注いだ。
数学を論理学の上に基礎づける論理主義は、フレーゲの独創的な仕事に始まる。残念ながら、その計画は、ラッセルの発見したパラドックスによって頓挫する。
ラッセルは「数学原論」によって、フレーゲの論理主義の問題点を解決するが、そこに用いられた公理は、もはや論理的に自明とはいえず、本来の目的であった、論理学に基づく数学の基礎付けに成功したとは言えない。
一方、ブラウアは直観主義によって、数学をパラドックスから解放しようと試みるが、この考え方は、排中律の使用を制限することで、数学の結果に対して大規模な修正を求めるものであった。
ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。
このように一定の結論が得られた現在では、数学基礎論は本来の意味していた数学の基礎付けの活動から離れ、数理論理学、モデル理論、集合論等の数学の総称に変化している。
また、数学を人間の精神活動から離れて、形式主義的にかつ有限の立場から検証しなおすことにより、計算機内部という機械的で有限な実体において数学的体系を再構築する計算機科学の基礎と発展に大きく寄与した。たとえば、今まで自明なものとして受け入れられていた多くの数論的関数を有限の立場から考察することにより、アルゴリズムの研究に直接の影響を与えた。現在プログラミングは初等教育に取り入れられ、子供も行うほど一般的になっているが、プログラミング言語で必ず登場するデータ型の形式的宣言や論理構造、関数の概念は遠くは数学基礎論に由来する。ゆえに、数学基礎論で活躍したジョン・フォン・ノイマンやチューリングが後に計算機科学において先駆的な役割を果たしたのも偶然ではない。そのような意味で数学基礎論は単なる机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を与えたといえる。
