クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績には、完全性定理、不完全性定理[1]および連続体仮説に関する研究が知られる。 略歴[編集] オーストリア=ハンガリー帝国時代[編集] オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理」(第一階述語論理の完全性定理)を発表し、学位を得た。 翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した。 1940年、ヒルベルトの第一問題(連続体仮説)について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても
![クルト・ゲーデル - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/3b87ae3bbf36bec0fe8309a90bbc88f413912685/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fc%2Fc1%2F1925_kurt_g%25C3%25B6del.png)