クルト・ゲーデル

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

オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理 」(第一階述語論理の完全性定理)を発表し、学位を得た。

翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理 」を発表した。

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

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

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

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

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

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

• 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 . http://ukcatalogue.oup.com/product/9780195039641.do  
  • 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 . http://ukcatalogue.oup.com/product/9780195147209.do  
• 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 . http://ukcatalogue.oup.com/product/9780195039726.do  
  • 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 . http://ukcatalogue.oup.com/product/9780195147216.do  
• 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 . http://ukcatalogue.oup.com/product/9780195072556.do  
  • 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 . http://ukcatalogue.oup.com/product/9780195147223.do  
• 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 . http://ukcatalogue.oup.com/product/9780198500735.do  
• 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 . http://ukcatalogue.oup.com/product/9780198500759.do  

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

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

• 高橋昌一郎『ゲーデルの哲学』(講談社現代新書、1999年)
• 吉永良正『ゲーデル・不完全性定理―"理性の限界"の発見』 (ブルーバックス B-947)
• John Stillwell, Mathematics and its history, third edition, Springer Verlag. ISBN 978-1-441-96052-8

• 廣瀬健・横田一正『ゲーデルの世界――完全性定理と不完全性定理――』 海鳴社、1985年。ISBN 4875251068

  論文「論理学における述語計算の公理の完全性」、「『プリンキピア・マテマティカ』やその関連体系での形式的に決定不可能な命題についてI」の翻訳あり

• 『ゲーデル 不完全性定理』 林晋・八杉満利子 訳・解説、岩波書店〈岩波文庫〉、2006年。ISBN 4003394410

  論文「プリンキピア・マテマティカおよび関連した体系の形式的に決定不能な命題についてI」の翻訳と解説

• E.ナーゲル、J・R.ニューマン 『ゲーデルは何を証明したか――数学から超数学へ』 林一訳、白揚社、1999年。ISBN 4826900872
• ダグラス・ホフスタッター 『ゲーデル、エッシャー、バッハ――あるいは不思議の環 20周年記念版』 野崎昭弘・柳瀬尚紀・はやしはじめ 訳、白揚社、2005年。ISBN 4826901259
• ジョン・W・ドーソン Jr. 『ロジカル・ディレンマ ゲーデルの生涯と不完全性定理』 村上祐子・塩谷賢訳、新曜社、2006年。ISBN 4788510286

  ゲーデルの遺稿を基にした詳細な伝記。

• レイモンド・スマリヤン 『ゲーデルの不完全性定理』 高橋昌一郎訳、丸善出版、1996年。ISBN 978-4621042045。改訳版2019年
• ピエール・カスー=ノゲス『ゲーデルの悪霊たち 論理学と狂気』 新谷昌宏訳、みすず書房、2020年 ISBN 978-4622089162
• ハオ・ワン 『ゲーデル再考 人と哲学』土屋俊・戸田山和久 訳、産業図書、1995年。ISBN 9784782800966

• ゲーデル数
• ゲーデル賞
• 竹内外史

• 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 (英語) - スタンフォード哲学百科事典「クルト・ゲーデル」の項目。

• クルト・ゲーデル
• 20世紀の数学者
• 20世紀アメリカ合衆国の哲学者
• 20世紀オーストリアの哲学者
• 20世紀の論理学者
• アメリカ合衆国の論理学者
• オーストリアの論理学者
• アメリカ合衆国の数学者
• オーストリアの数学者
• アメリカ合衆国の集合論研究者
• 存在論の哲学者
• プロテスタントの哲学者
• ウィーン学団
• アメリカ国家科学賞受賞者
• アルベルト・アインシュタイン賞の受賞者
• 王立協会外国人会員
• アメリカ芸術科学アカデミー会員
• イギリス学士院客員フェロー
• ウィーン大学の教員
• プリンストン高等研究所の人物
• アメリカ合衆国帰化市民
• モラヴィア・ドイツ系オーストリア人
• ブルノ出身の人物
• 餓死した人物
• 1906年生
• 1978年没

• ISBNマジックリンクを使用しているページ
• FAST識別子が指定されている記事
• ISNI識別子が指定されている記事
• VIAF識別子が指定されている記事
• WorldCat Entities識別子が指定されている記事
• BIBSYS識別子が指定されている記事
• BNC識別子が指定されている記事
• BNE識別子が指定されている記事
• BNF識別子が指定されている記事
• BNFdata識別子が指定されている記事
• CANTICN識別子が指定されている記事
• GND識別子が指定されている記事
• ICCU識別子が指定されている記事
• J9U識別子が指定されている記事
• LCCN識別子が指定されている記事
• Libris識別子が指定されている記事
• LNB識別子が指定されている記事
• NDL識別子が指定されている記事
• NKC識別子が指定されている記事
• NLA識別子が指定されている記事
• NLG識別子が指定されている記事
• NLK識別子が指定されている記事
• NSK識別子が指定されている記事
• NTA識別子が指定されている記事
• PLWABN識別子が指定されている記事
• PortugalA識別子が指定されている記事
• CINII識別子が指定されている記事
• CRID識別子が指定されている記事
• DBLP識別子が指定されている記事
• MATHSN識別子が指定されている記事
• MGP識別子が指定されている記事
• Scopus識別子が指定されている記事
• ZBMATH識別子が指定されている記事
• DTBIO識別子が指定されている記事
• Trove識別子が指定されている記事
• SNAC-ID識別子が指定されている記事
• SUDOC識別子が指定されている記事