在1931年，数理逻辑学家KurtG6del提出了著名的不完备性定理（Incompleteness Theorem），该定理断言：即使在初等数论的范围内，对所有命题进行判定的算法也是 不存在的。
基于26个网页-相关网页
Gödel's incompleteness theorem 定理 ; 哥德尔不完全性定理
Godel's Incompleteness Theorem 葛代尔不完备定理 ; Godel不完全性定理
Goedel's incompleteness theorem 哥德尔不完全性定理
godel ' s incompleteness theorem godel不完全性定理
godel s incompleteness theorem 哥德尔定理
godel s second incompleteness theorem 哥德尔不完备性定理
theorem of incompleteness 哥德尔不完备性定理
应用推荐