クルト・ゲーデルとは？
くるとげえでる
20世紀オーストリア出身の数学者で、数学の不完全性定理を証明し数学基礎論に革命をもたらしました。
1906年にブルノで生まれ1978年に没した数学者・論理学者です。1931年に発表した「不完全性定理」は、十分に強い任意の無矛盾な公理系においては、その系の中で証明も反証もできない命題が存在することを証明した革命的成果です。これによりヒルベルトの数学完全公理化プログラムが不可能であることが示され、数学の本質的限界が明らかになりました。
使い方・例文
ゲーデルの不完全性定理は、数学には原理的に証明できない真の命題が存在することを示した。
この用語をシェア
最終更新: