バートランド・ラッセルと論理主義 (数学)

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

バートランド・ラッセルと論理主義 (数学)の違い

バートランド・ラッセル vs. 論理主義 (数学)

3代ラッセル伯爵、バートランド・アーサー・ウィリアム・ラッセル（Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日）は、イギリスの哲学者、論理学者、数学者であり、社会批評家、政治活動家である。ラッセル伯爵家の貴族であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。. 数学における論理主義（ろんりしゅぎ、Logicism、Logicism、Logizismus）は、数学全体を論理学の一部とみなすことで、数学の基礎付け、数学の論理学への還元、つまり論理学の諸規則から数学のそれを演繹することが出来るとする立場である。.

型理論

型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（かいけいりろん、Theory of Types）とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.

バートランド・ラッセルと型理論 · 型理論と論理主義 (数学) · 続きを見る »

形式主義 (数学)

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

バートランド・ラッセルと形式主義 (数学) · 形式主義 (数学)と論理主義 (数学) · 続きを見る »

ラッセルのパラドックス

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

バートランド・ラッセルとラッセルのパラドックス · ラッセルのパラドックスと論理主義 (数学) · 続きを見る »

ライツェン・エヒベルトゥス・ヤン・ブラウワー

ライツェン・エヒベルトゥス・ヤン・ブラウワー（Luitzen Egbertus Jan Brouwer、1881年2月27日 - 1966年12月2日）はオランダの数学者。ブラウエル、ブローウェルなどとも表記される。トポロジーにおいて不動点定理をはじめとする多大な業績を残し、また数学基礎論においては直観主義数学の創始者として知られる。.

バートランド・ラッセルとライツェン・エヒベルトゥス・ヤン・ブラウワー · ライツェン・エヒベルトゥス・ヤン・ブラウワーと論理主義 (数学) · 続きを見る »

プリンキピア・マテマティカ

短縮版『プリンキピア・マテマティカ 56節まで』の表紙 『プリンキピア・マテマティカ』(Principia Mathematica:数学原理)は、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、数学の基礎に関する全3巻からなる著作である。それは、記号論理学において、明示された公理の一組と推論規則から数学的真理すべてを得る試みである。『プリンキピア』のための主なインスピレーションと動機の1つは論理学に関するフレーゲの初期の仕事で、それがパラドックスをもたらすことをラッセルが発見したのである。 プリンキピアは、数学論理と哲学においてアリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、広く専門家に考えられている。 モダン・ライブラリーは、この本を20世紀のノンフィクション書籍上位100のリスト(Modern Library 100 Best Nonfiction)の23位に位置づけた。.

バートランド・ラッセルとプリンキピア・マテマティカ · プリンキピア・マテマティカと論理主義 (数学) · 続きを見る »

ダフィット・ヒルベルト

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

ダフィット・ヒルベルトとバートランド・ラッセル · ダフィット・ヒルベルトと論理主義 (数学) · 続きを見る »

アルフレッド・ノース・ホワイトヘッド

アルフレッド・ノース・ホワイトヘッド （Alfred North Whitehead、1861年2月15日 - 1947年12月30日）は、イギリスの数学者、哲学者である。論理学、科学哲学、数学、高等教育論、宗教哲学などに功績を残す。ケンブリッジ大学、ユニバーシティ・カレッジ・ロンドン、インペリアル・カレッジ・ロンドン、ハーバード大学の各大学において、教鞭をとる。哲学者としての彼の業績は、ハーバード大学に招聘されてからが主体であり、その時既に63歳であった。.

アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセル · アルフレッド・ノース・ホワイトヘッドと論理主義 (数学) · 続きを見る »

クルト・ゲーデル

ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.

クルト・ゲーデルとバートランド・ラッセル · クルト・ゲーデルと論理主義 (数学) · 続きを見る »

ゴットロープ・フレーゲ

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日）は、ドイツの哲学者、論理学者、数学者であり、現代の数理論理学、分析哲学の祖にあたる。 フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。.

ゴットロープ・フレーゲとバートランド・ラッセル · ゴットロープ・フレーゲと論理主義 (数学) · 続きを見る »

論理学

論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.

バートランド・ラッセルと論理学 · 論理主義 (数学)と論理学 · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

バートランド・ラッセルと数学 · 数学と論理主義 (数学) · 続きを見る »

数学的直観主義

数学的直観主義（すうがくてきちょっかんしゅぎ）とは、数学の基礎を数学者の直観におく立場のことを指す。.

バートランド・ラッセルと数学的直観主義 · 数学的直観主義と論理主義 (数学) · 続きを見る »

1931年

記載なし。

1931年とバートランド・ラッセル · 1931年と論理主義 (数学) · 続きを見る »