16/11/19 14:57:04.59 0Q0Vh9CE.net
>>333 補足
数学の哲学
URLﾘﾝｸ(ja.wikipedia.org)
数学の哲学
(抜粋)
数学の哲学（すうがくのてつがく、英: philosophy of mathematics）は、哲学（科学哲学）の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。数理哲学とも言われる。
20世紀の初めに形式論理学と集合論が驚くべき、そして反直感的な発展を遂げた結果、「数学の基礎」と伝統的に呼ばれてきたものに関係する新たな疑問が生じた。
紀元前300年前後のユークリッドの時代以来、公理に基づく手法は、数学の自然な基点だと受け止められていたが、20世紀が進むにつれ、当初の関心の焦点が拡張され、数学の基礎的な公理に対する制限のない探求へと至るようになった。
公理、命題、そして証明といった観念、そしてまた数学的対象の命題の真理についての観念が、形式化され、数学的に扱うことが許されるようになった。ツェルメロ＝フレンケルの公理系は、多くの数学的議論を解釈する概念的枠組みを提供するものとして集合論を定式化した。
物理学におけるのと同様に数学においても、新しい、予期しないアイデアが登場し、特筆すべき変化が訪れた。ゲーデル数によって、数学理論の無矛盾性の研究が可能となった。
検討されている数学的理論が「それ自体、数学的研究の対象となる」という反省的批判を、ヒルベルトは「超数学」（メタ数学）（英: metamathematics）又は「証明論」（英: proof theory）と呼んだ[3]。
20世紀の中ごろ、圏論として知られる新たな数学理論が、自然言語による数学的思考に対する新たな競争者として登場した（Mac Lane 1998）。
論理主義
論理主義は、数学は論理学に還元可能で、ゆえに数学は論理学の一部以外の何者でもないというテーゼである（Carnap 1931/1883, 41）。
形式主義
詳細は「形式主義 (数学)」を参照
形式主義とは、数学的言明はいくつかの記号列の操作ルールの帰結についての言明とみなしてよいと考えるものである。
構成主義
詳細は「構成主義 (数学)」を参照
直観主義と同様、構成主義もまた、一定のいみで明白に構成することのできる数学的なものだけが数学的言説において認められるべきであるという規制原理を主張する。