ブラウザよりも高速アクセス！数学基礎論と論理学間の類似点
数学基礎論と論理学は（ユニオンペディアに）共通で12ものを持っています: バートランド・ラッセル、ラッセルのパラドックス、ヒルベルト・プログラム、ダフィット・ヒルベルト、クルト・ゲーデル、ゲーデルの不完全性定理、ゴットロープ・フレーゲ、公理、論理学者、集合論、数学、数理論理学。
バートランド・ラッセル
3代ラッセル伯爵、バートランド・アーサー・ウィリアム・ラッセル（Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日）は、イギリスの哲学者、論理学者、数学者であり、社会批評家、政治活動家である。ラッセル伯爵家の貴族であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。.
バートランド・ラッセルと数学基礎論 · バートランド・ラッセルと論理学 ·
ラッセルのパラドックス
ラッセルのパラドックス（Russell's paradox）とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『算術の基本法則』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻（Grundgesetze der Arithmetik II）の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論（階型理論）を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。.
ラッセルのパラドックスと数学基礎論 · ラッセルのパラドックスと論理学 ·
ヒルベルト・プログラム
ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。.
ヒルベルト・プログラムと数学基礎論 · ヒルベルト・プログラムと論理学 ·
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃（1886年） ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト（David Hilbert,, 1862年1月23日 - 1943年2月14日）は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット，ダヴィド、ダーフィットなどとも表記される。.
ダフィット・ヒルベルトと数学基礎論 · ダフィット・ヒルベルトと論理学 ·
クルト・ゲーデル
ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
クルト・ゲーデルと数学基礎論 · クルト・ゲーデルと論理学 ·
ゲーデルの不完全性定理
ーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
ゲーデルの不完全性定理と数学基礎論 · ゲーデルの不完全性定理と論理学 ·
ゴットロープ・フレーゲ
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日）は、ドイツの哲学者、論理学者、数学者であり、現代の数理論理学、分析哲学の祖にあたる。 フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。.
ゴットロープ・フレーゲと数学基礎論 · ゴットロープ・フレーゲと論理学 ·
公理
公理（こうり、axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明（絶対的）な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.
論理学者
論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.
数学基礎論と論理学者 · 論理学と論理学者 ·
集合論
集合論（しゅうごうろん、set theory, théorie des ensembles, Mengenlehre）は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
数学基礎論と数理論理学 · 数理論理学と論理学 ·
上記のリストは以下の質問に答えます
- 何数学基礎論と論理学ことは共通しています
- 何が数学基礎論と論理学間の類似点があります
数学基礎論と論理学の間の比較
論理学が92を有している数学基礎論は、44の関係を有しています。 彼らは一般的な12で持っているように、ジャカード指数は8.82%です = 12 / (44 + 92)。
参考文献
この記事では、数学基礎論と論理学との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:
