|
|
〔地域別偉人〕
|
|
ゲーデル |
クルト・ゲーデルは、現在のチェコ(オーストリア・ハンガリー二重帝国)ブルノ生まれの数学者・論理学者である。 ゲーデルは、1924年にウィーン大学に入学し物理学、数学を学ぶ。1930年に最初の重要な業績として「第一階述語論理の完全性定理」を発表し学位を取得する。 翌年1931年には、ゲーデル数の概念を構築し、有名な「不完全性定理」を発表する。この定理は、20世紀の数学基礎論、論理学にとって最も重要な定理とされる。 不完全性定理はフォン・ノイマンなど著名な学者の激賞を受け、「人間の理性の限界を示した」とも評されている。 |
◆ | 時間のない宇宙―ゲーデルとアインシュタイン 最後の思索 |
◆ | 今度こそわかるゲーデル不完全性定理 (今度こそわかるシリーズ) |
◆ | ゲーデル 不完全性発見への道 (双書―大数学者の数学) |
◆ | 理性の限界――不可能性・不確定性・不完全性 (講談社現代新書) |
◆ | ゲーデル 不完全性定理 (岩波文庫) |