幾何学基礎論と数学基礎論

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

幾何学基礎論と数学基礎論の違い

幾何学基礎論 vs. 数学基礎論

幾何学基礎論(きかがくきそろん、foundation of geometry)とはユークリッド幾何学の公理主義的研究である。 平行線公準の問題より非ユークリッド幾何学が生まれたが、それは同時にユークリッド幾何学の厳密性にも疑問が投げかけられることでもあった。すなわち、. 数学基礎論（すうがくきそろん、英語：）は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.

形式主義 (数学)

数学における形式主義（）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。.

幾何学基礎論と形式主義 (数学) · 形式主義 (数学)と数学基礎論 · 続きを見る »

ラッセルのパラドックス

ラッセルのパラドックス（Russell's paradox）とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『算術の基本法則』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻（Grundgesetze der Arithmetik II）の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論（階型理論）を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。.

ラッセルのパラドックスと幾何学基礎論 · ラッセルのパラドックスと数学基礎論 · 続きを見る »

ダフィット・ヒルベルト

ーニヒスベルクにて私講師を務めていた頃（1886年） ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト（David Hilbert,, 1862年1月23日 - 1943年2月14日）は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット，ダヴィド、ダーフィットなどとも表記される。.

ダフィット・ヒルベルトと幾何学基礎論 · ダフィット・ヒルベルトと数学基礎論 · 続きを見る »

公理

公理（こうり、axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明（絶対的）な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.

公理と幾何学基礎論 · 公理と数学基礎論 · 続きを見る »