カート・ゲーデルとは？
かーとげーでる
クルト・ゲーデルは、20世紀最大の論理学者・数学者の一人で、「不完全性定理」によって数学の基礎に根本的な限界があることを証明し、数学・哲学・科学に革命的な影響を与えた人物です。
クルト・フリードリヒ・ゲーデル（Kurt Friedrich Gödel）は、1906年にオーストリア＝ハンガリー帝国のブルノ（現チェコ）で生まれた数学者・論理学者・哲学者です。ウィーン大学で数学と哲学を学び、20代にして数学史上最も重要な成果の一つを打ち立てました。
1931年に発表した「不完全性定理」は、数学の世界に衝撃をもたらしました。第一不完全性定理は「十分に強い公理系において、その系の内部では証明も反証もできない真の命題が存在する」ことを示し、第二不完全性定理は「無矛盾な系はその無矛盾性を自分自身では証明できない」ことを示しました。これにより、数学を完全かつ無矛盾な体系として形式化しようとする「ヒルベルトの計画」が根本から覆されました。
1930年代にナチスの台頭を避けてアメリカへ渡り、プリンストン高等研究所に終身職を得て研究を続けました。同研究所ではアルベルト・アインシュタインと深い友情を結んだことでも知られます。
不完全性定理のほかにも、集合論における連続体仮説の無矛盾性証明など重要な業績を残しました。その業績は数学・論理学にとどまらず、哲学・コンピュータ科学・認識論にも深い影響を与え続けています。
使い方・例文
「ゲーデルの不完全性定理は、どんな数学的体系にも証明できない真の命題が存在することを示しており、AIや計算理論を学ぶ際にも避けて通れない概念だ」というように登場します。
この用語をシェア
最終更新: