「クルト・ゲーデル」の版間の差分

クルト・ゲーデル
Kurt Gödel
クルト・ゲーデル; Kurt Gödel
	1925年撮影
生誕	1906年4月28日; オーストリア＝ハンガリー帝国、ブリュン
死没	1978年1月14日（71歳）; アメリカ合衆国、ニュージャージー州プリンストン
研究分野	数学, 数理論理学
研究機関	プリンストン高等研究所
出身校	ウィーン大学
博士課程; 指導教員	ハンス・ハーン
主な業績	ゲーデルの不完全性定理, ゲーデルの完全性定理, 連続体仮説, ゲーデルの神の存在論的証明（英語版）
主な受賞歴	アルベルト・アインシュタイン賞 (1951年); アメリカ国家科学賞数学部門(1974年)
	署名
	プロジェクト:人物伝
	テンプレートを表示

履歴の双方向閲覧

← 古い編集新しい編集 →

削除された内容追加された内容

ビジュアルウィキテキスト

インライン

2020年11月30日 (月) 06:49時点における版

クルト・ゲーデル（Kurt Gödel, 1906年 4月28日 - 1978年 1月14日）は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績には、完全性定理、不完全性定理^[1]および連続体仮説に関する研究が知られる。

略歴

オーストリア時代

オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「第一階述語論理の完全性定理」を発表し、学位を得た。テオドール・スコーレム、ジャック・エルブランの二名がこれに限りなく等しい成果を出していたものの、ゲーデルが最終的に誤謬なく完成させた。

翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した^[2]。これは、ヒルベルトが数学の無矛盾性を証明するために推進した「ヒルベルト・プログラム」に関連して研究されたものであるが、「数学は自己の無矛盾性を証明できない」ことを示した不完全性定理は、ヒルベルト学派の主張した有限の立場を忠実に用いて、手法としての超数学を具体化することで、皮肉にもそのプログラムが本質的に不可能であることを暗示するというものであった。不完全性定理は、ジョン・フォン・ノイマンなど当代一流の学者の激賞を受け、「人間の理性の限界を示した」とも評されている。

1940年、ヒルベルトの第一問題（連続体仮説）について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても無矛盾である」ということを証明した^[3]。以上がゲーデルの三大業績と呼ばれている。この後、ゲーデルは、連続体仮説に関する研究から身を引いた。1963年、ポール・コーエンは、「ZF公理系に選択公理と一般連続体仮説の否定を加えても無矛盾である」ということを証明し、ゲーデルの結果と合わせて、「選択公理と一般連続体仮説はZFとは独立である（したがって、証明も否定の証明もできない）」ということを示した。このとき、ゲーデルは「これは自分がなすべき仕事だった」と悔やんだと言われ、コーエンの仕事を絶賛した。その一方で、ゲーデルは「すべての数学的命題に対して、人間は真偽を判定することが可能である」と信じていたと言われる。特に、連続体仮説に関しては、その否定を信じていた。

アメリカ合衆国時代

ゲーデルは、ウィーン大学の講師を勤めたが、1940年頃にはナチス・ドイツを逃れるために、妻アデルと共にアメリカ合衆国に移住した^[4]。ゲーデルは、米国の市民権を取得し^[5]、プリンストン高等研究所の教授となった。この研究所では、アインシュタインと家族ぐるみで親密に交流し、物理学や哲学などについて議論を交わした。その結果アインシュタインの一般相対性理論におけるゲーデル解（1949年）を生んだ。この解は、非常に奇妙な性質を示したために、アインシュタインをして自身の理論に疑問を抱かせるに至った。

この渡米の際に「新居を購入^[6]」する偽装工作を余儀なくされたために、人間不信に近い症状が出ていたようである。ゲーデルは英語を選択科目で選んだため語学の問題がなかったが、妻が英語をほとんど話せなかった^[7]ために多くのトラブルが生まれたらしい。

1948年、ゲーデルは、アメリカ市民権を取得する。このとき、保証人に名を連ねたのがアインシュタインである。当時、アメリカ市民権を取得するには、米国憲法に関する面接試験が課せられていた。そのため、ゲーデルは、合衆国憲法を一から勉強しはじめた。面接当日、ゲーデルは「合衆国憲法が独裁国家に合法的に移行する可能性を秘めていることを発見した」とアインシュタインたちに語り、彼らを当惑させた。そして、移民審査をする判事から「あなたは、独裁国家（ナチス・ドイツに併合されたオーストリア）から来られたのですね。我がアメリカ合衆国ではそのようなことは起きませんから、安心してください」と言われた際、ゲーデルは、即座に「それどころか私は、いかにしてそのようなことが起こりうるのかを証明できるのです」と答えた。そのため、その場に付き添っていたアインシュタインたちが慌てて場を取り繕うという一幕があった^[8]。

1970年代初頭には、ポール・エルデシュからの「お前は皆の研究対象になるために数学者になったのであって、お前のライプニッツ研究のためじゃないんだ！^[9]」との懇願にもかかわらず、ライプニッツによる「神の存在証明」を洗練させたゲーデルの神の存在証明（英語版）として知られる論文を知人に配布した。しかし、その目的が、神学論争への加担ではなく、あくまで論理学的な興味の追求にあったため、ゲーデルは、誤解を恐れて生前は公表しなかった。その中で、ゲーデルは、ライプニッツの主張について、公理系を解明しつつ様相論理の手法を用いて明確な定式化を試みた。この論文は、ゲーデルが没してから9年後の1987年にデイナ・スコットの手によって初めて出版された。

晩年は、非常に内向的となった。また、精神にも失調をきたしており、毒殺されることを恐れるあまり、妻アデルが作った食事以外は、自分が調理した食事すら口にしなかった。その他にも、毒ガスによる暗殺を恐れたために、冬でも家の窓を開け放っていた。また、人前に出ることはほとんどなく、自宅に籠って哲学と論理学の研究を続けていた。最終的には、アデルが病院に入院して自宅を離れていた期間に、絶食による飢餓状態となった。すぐに病院に搬送されたが、プリンストン病院で死去した。このとき、ゲーデルの体重は、65ポンド（約29.5kg）しかなかった。

彼の遺稿は、大学時代までに修得した英語、ドイツ語、およびガベルスベルガー式速記と呼ばれるドイツの古い速記法で書かれているが、その速記法はすでに淘汰されたタイプであるため、解読が困難であることで知られている。幸い、彼が潔癖で几帳面であったため、遺稿のほぼすべてが残されている^[10]。

業績

著作集

Gödel, Kurt (1986-1-23). Collected Works: Publications 1929-1936. I. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-503964-5
- Gödel, Kurt (2001-5-31). Collected Works: Publications 1929-1936. I. Solomon Feferman et al.ed. (Paperback ed.). Oxford University Press. ISBN 0-19-514720-0
Gödel, Kurt (1989-11-30). Collected Works: Publications 1938-1974. II. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-503972-6
- Gödel, Kurt (2001-6-21). Collected Works: Publications 1938-1974. II. Solomon Feferman et al.ed. (Paperback ed.). Oxford University Press. ISBN 0-19-514721-9
Gödel, Kurt (1995-3-30). Collected Works: Unpublished Essays & Lectures. III. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-507255-3
- Gödel, Kurt (2001-5-31). Collected Works: Unpublished Essays & Lectures. III. Solomon Feferman et al.ed. (Paperback ed.). Oxford University Press. ISBN 0-19-514722-7
Gödel, Kurt (2003-6-5). Collected Works: Correspondence, A-G. IV. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-850073-4
Gödel, Kurt (2003-5-27). Collected Works: Correspondence, H-Z. V. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-850075-0

著書

1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
Gödel, Kurt (1940-9-1). The Consistency of the Continuum Hypothesis. Annals of Mathematics Sutdies. 3. Princeton University Press. ISBN 0-691-07927-7
クルト・ゲーデル『数学基礎論　撰出公理及び一般連続仮説の集合論公理との無矛盾性』近藤洋逸訳、伊藤書店、1946年4月。

日本語による文献

参考文献

高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年）
吉永良正『ゲーデル・不完全性定理―"理性の限界"の発見』 (ブルーバックス B-947)

備考

ゲーデル・不完全性定理―"理性の限界"の発見 (ブルーバックス B-947)では、マリアンヌは17歳でクルトを生んだとあるが、これはGeorg Kreiselの1982年の文献自体のエラーの引き写しによる誤情報である^[11]。

脚注

^ “Gödel’s Incompleteness Theorem”. link.springer.com. Springerlink. 2020年11月30日閲覧。
^ "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." (1931)
^ "The Consistency of the Continuum Hypothesis" (1940)
^ もっとも、ゲーデルはユダヤ系ではないこともあって、ナチスに中立的な立場だったといわれる。むしろ、ゲーデルは、自分をユダヤ人と誤解してそれを理由に冷遇したオーストリア学術界に対して、強い反感を持っており、そこから離れたいという思いのほうが強かったようである。その証拠に、ゲーデルは、生前オーストリアから与えられた名誉号などをすべて辞退している。高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、178-179頁）を参照。
^ ゲーデルは市民権を得るための面接で、アメリカの憲法が独裁者の出現を防げない欠陥憲法であることを指摘したとも言われるが、政治的にはノンリベラルで躊躇なくアイゼンハワーに投票している。高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、182頁）を参照。
^ 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、145頁）を参照。
^ 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、148頁）を参照。
^ 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、153-155頁）を参照。
^ John Stillwell, Mathematics and its history, p.586, third edition, Springer Verlag. ISBN 978-1-441-96052-8
^ 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、197頁）を参照。
^ 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、248頁）を参照。

外部リンク

O'Connor, John J; Edmund F. Robertson "Kurt Gödel". MacTutor History of Mathematics archive.
The Consistency of the Axiom of Choice and of the Generalised Continuum-Hypothesis with Set Theory（Google ブックス）
クルト・ゲーデル - Find a Grave（英語）
Kurt Gödel （英語） - スタンフォード哲学百科事典「クルト・ゲーデル」の項目。

[1] “Gödel’s Incompleteness Theorem”. link.springer.com. Springerlink. 2020年11月30日閲覧。

[2] "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." (1931)

[3] "The Consistency of the Continuum Hypothesis" (1940)

[4] もっとも、ゲーデルはユダヤ系ではないこともあって、ナチスに中立的な立場だったといわれる。むしろ、ゲーデルは、自分をユダヤ人と誤解してそれを理由に冷遇したオーストリア学術界に対して、強い反感を持っており、そこから離れたいという思いのほうが強かったようである。その証拠に、ゲーデルは、生前オーストリアから与えられた名誉号などをすべて辞退している。高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、178-179頁）を参照。

[5] ゲーデルは市民権を得るための面接で、アメリカの憲法が独裁者の出現を防げない欠陥憲法であることを指摘したとも言われるが、政治的にはノンリベラルで躊躇なくアイゼンハワーに投票している。高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、182頁）を参照。

[6] 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、145頁）を参照。

[7] 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、148頁）を参照。

[8] 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、153-155頁）を参照。

[9] John Stillwell, Mathematics and its history, p.586, third edition, Springer Verlag. ISBN 978-1-441-96052-8

[10] 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、197頁）を参照。

[11] 高橋昌一郎『ゲーデルの哲学』（講談社現代新書、1999年、248頁）を参照。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ 19行目: / 19行目: @@
 | footnotes =
 }}
-'''クルト・ゲーデル'''（Kurt Gödel, [[1906年]][[4月28日]] - [[1978年]][[1月14日]]）は、[[オーストリア・ハンガリー帝国]]出身の[[数学者]]・[[論理学]]者・[[哲学者]]である。業績には、[[ゲーデルの完全性定理|完全性定理]]、[[ゲーデルの不完全性定理|不完全性定理]]<ref>[[菊池誠]]{{要曖昧さ回避|date=2019年1月}} [https://philpapers.org/rec/KIKANO A Note on Boolos' Proof of the Incompleteness Theorem] 2018年7月14日閲覧。</ref>および[[連続体仮説]]に関する研究が知られる。
+'''クルト・ゲーデル'''（Kurt Gödel, [[1906年]][[4月28日]] - [[1978年]][[1月14日]]）は、[[オーストリア・ハンガリー帝国]]出身の[[数学者]]・[[論理学]]者・[[哲学者]]である。業績には、[[ゲーデルの完全性定理|完全性定理]]、[[ゲーデルの不完全性定理|不完全性定理]]<ref>{{Cite web |url = https://link.springer.com/chapter/10.1007/978-3-642-85706-5_48|title = Gödel’s Incompleteness Theorem|website = link.springer.com|publisher = Springerlink|date = |accessdate = 2020-11-30}}</ref>および[[連続体仮説]]に関する研究が知られる。
 == 略歴 ==

典拠管理データベース
全般	FAST ISNI VIAF WorldCat
国立図書館	ノルウェーチリスペインフランス BnF data カタルーニャドイツイタリアイスラエルアメリカスウェーデンラトビア日本チェコオーストラリアギリシャ韓国クロアチアオランダポーランドポルトガル
学術データベース	CiNii Books CiNii Research DBLP MathSciNet Mathematics Genealogy Project Scopus zbMATH
人物	ドイッチェ・ビオグラフィー Trove（オーストラリア） 1
その他	SNAC IdRef