クルト・ゲーデル
Kurt Godel
1925年撮影
生誕 (1906-04-28) 1906年4月28日
オーストリア=ハンガリー帝国、ブリュン
死没1978年1月14日(1978-01-14)(71歳)
アメリカ合衆国、ニュージャージー州 プリンストン
研究分野数学, 数理論理学
研究機関プリンストン高等研究所
出身校ウィーン大学
博士課程
指導教員ハンス・ハーン
主な業績ゲーデルの完全性定理, ゲーデルの不完全性定理, 連続体仮説, ゲーデルの神の存在論的証明
クルト・ゲーデル(Kurt Godel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績には、完全性定理、不完全性定理[1]および連続体仮説に関する研究が知られる。 オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理」(第一階述語論理の完全性定理)を発表し、学位を得た。 翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した。 1940年、ヒルベルトの第一問題(連続体仮説)について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても無矛盾である」ということを証明した[2]。以上がゲーデルの三大業績と呼ばれている。この後、ゲーデルは、連続体仮説に関する研究から身を引いた。1963年、ポール・コーエンは、「ZF公理系に選択公理と一般連続体仮説の否定を加えても無矛盾である」ということを証明し、ゲーデルの結果と合わせて、「選択公理と一般連続体仮説はZFとは独立である(したがって、証明も否定の証明もできない)」ということを示した。このとき、ゲーデルは「これは自分がなすべき仕事だった」と悔やんだと言われ、コーエンの仕事を絶賛した。その一方で、ゲーデルは「すべての数学的命題に対して、人間は真偽を判定することが可能である」と信じていたと言われる。特に、連続体仮説に関しては、その否定を信じていた。 ゲーデルは、ウィーン大学の講師を勤めたが、オーストリアを併合したナチス・ドイツから逃れるために、1940年頃には妻アデーレと共にアメリカ合衆国に移住した[注釈 1]。ゲーデルは、米国の市民権を取得し[注釈 2]、プリンストン高等研究所の教授となった。
略歴
オーストリア=ハンガリー帝国時代
アメリカ合衆国時代