カート・ゲーデル（除外済のため代替）とは？
あろんしゃーみあ
クルト・ゲーデルは20世紀最大の論理学者・数学者のひとりで、不完全性定理によって数学の基礎に革命をもたらした人物です。
クルト・ゲーデル（Kurt Gödel、1906〜1978年）は、オーストリア生まれの数学者・論理学者で、現代論理学と数学基礎論において最も重要な業績を残した人物のひとりです。
その名を不朽のものにしたのが、1931年に発表した不完全性定理です。第一不完全性定理は「十分に強い公理系の中には、その公理系の枠内では証明も反証もできない命題が必ず存在する」というものであり、第二不完全性定理は「その公理系自身の無矛盾性を、その公理系の内部で証明することはできない」というものです。この定理はヒルベルトの形式主義プログラム——数学全体を完全かつ無矛盾に公理化しようとする試み——に根本的な限界を示し、哲学・数学・コンピュータ科学に広く影響を与えました。
ゲーデルはまた、集合論における選択公理と連続体仮説がツェルメロ＝フレンケル公理系と矛盾しないことも証明しています。ナチス政権の台頭を逃れてアメリカへ渡り、プリンストン高等研究所でアインシュタインと親交を結んだことでも知られます。晩年は精神的に不安定な状態に陥り、食事への不信感から栄養失調で亡くなりました。
ゲーデルの定理は、「人間の知性には機械に還元できない部分がある」という議論や、人工知能の限界に関する哲学的議論にも引用され続けています。
使い方・例文
「ゲーデルの不完全性定理」は、数学の授業や論理学・哲学の講義で「真でも証明できない命題が存在する」ことを示す例として登場します。
この用語をシェア
最終更新: