ゲーデルとは？
げーでる
20世紀オーストリア出身の数学者・論理学者で、不完全性定理により数学の限界を証明しました。
クルト・ゲーデルは1906年生まれのオーストリア出身の数学者・論理学者で、後にアメリカへ移住した。1931年に発表した「不完全性定理」は、十分に強い公理系においては証明も反証もできない命題が必ず存在し、系の無矛盾性をその系内で証明できないことを示した。これは数学の機械的公理化を目指すヒルベルト計画に根本的限界を示すものだった。
使い方・例文
ゲーデルの不完全性定理は、どんなに強い数学の体系を作っても、その中で真偽を決定できない命題が必ず存在することを証明している。
この用語をシェア
最終更新: