ゲーデルの不完全性定理
げーでるのふかんぜんせいていり
Godel's Incompleteness Theorems
ゲーデルの不完全性定理とは、「矛盾のない理論体系の中には、証明も反証もできない命題が必ず存在する」という定理。数学の完全性を否定した。
最終更新: 2026/1/23
由来・語源
クルト・ゲーデル。
使用例
人間は論理を超えた直感を持っているため、不完全性定理の限界を超えられるという議論もある（ペンローズ）。
関連用語
- 同義語:
- 関連:
げーでるのふかんぜんせいていり
Godel's Incompleteness Theorems
ゲーデルの不完全性定理とは、「矛盾のない理論体系の中には、証明も反証もできない命題が必ず存在する」という定理。数学の完全性を否定した。
クルト・ゲーデル。
人間は論理を超えた直感を持っているため、不完全性定理の限界を超えられるという議論もある（ペンローズ）。