数学基礎論
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表された数学基礎論 - Wikipediaを素材として二次利用しています。
数学基礎論
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。
出典を追加して記事の信頼性向上にご協力ください。(2011年11月)
数学基礎論(すうがくきそろん、英語:foundations of mathematics)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。
歴史[編集]
厳密な論理によって構成される数学は、発展するに従って自分自身をも厳格に定義する方向へと進み、多くの数学者・論理学者がその夢に心血を注いだ。数学を論理学の上に基礎づける論理主義はフレーゲの独創的な仕事に始まるが、この計画はラッセルの発見したパラドックスによって頓挫する。
ラッセルは『数学原論』によってフレーゲの論理主義の問題点を解決するが、そこに用いられた公理はもはや論理的に自明とはいえず、本来の目的であった論理学に基づく数学の基礎づけに成功したとはいえない。
一方、ブラウワーは、直観主義によって数学をパラドックスから解放しようと試みるが、この考え方は、排中律の使用を制限することで数学の結果に対して大規模な修正を求めるものであった。
ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。
このように一定の結論が得られた現在では、数学基礎論は本来の意味していた数学の基礎づけの活動から離れ、広義の数理論理学、特に集合論、モデル理論、証明論、計算理論等の数学の総称に変化している。
影響[編集]
また、数学を人間の精神活動から離れて、形式主義的にかつ有限の立場から検証しなおすことにより、計算機内部という機械的で有限な実体において数学的体系を再構築する計算機科学の基礎と発展に大きく寄与した。たとえば、今まで自明なものとして受け入れられていた多くの数論的関数を有限の立場から考察することにより、アルゴリズムの研究に直接の影響を与えた。現在、プログラミングは初等教育にも取り入れられるほど一般的になっているが、プログラミング言語で必ず登場するデータ型の形式的宣言や論理構造、関数の概念は遠くは数学基礎論に由来する。ゆえに、数学基礎論で活躍したフォン・ノイマンやチューリングが後に計算機科学において先駆的な役割を果たしたのも、偶然ではない。そのような意味で数学基礎論は単なる机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を与えたといえる。
関連項目[編集]
数理論理学
公理的集合論
幾何学基礎論
数学の哲学
カテゴリ: 科学哲学の分野
数学基礎論
数理論理学
数学に関する記事
「数学基礎論」の書誌情報
- 項目名: 数学基礎論
- 著作者: ウィキペディアの執筆者
- 発行所: ウィキペディア日本語版
- 更新日時: 2013年12月31日 20:07 (UTC)
- 取得日時: 2015年5月31日 03:13 (UTC)
- 版指定URI: http://ja.wikipedia.org/w/index.php?title=%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96&oldid=50218588
- 主な執筆者: (改版集計情報)
- 項目の版番号: 50218588