在1931年，数理逻辑学家KurtG6del提出了著名的不完备性定理（Incompleteness Theorem），该定理断言：即使在初等数论的范围内，对所有命题进行判定的算法也是 不存在的。
基于26个网页-相关网页
不完全规定顺序机 incompletely specified sequential machine 不完整定理 incompleteness theorem 不能压缩字符串 incompressible string ..
基于14个网页-相关网页
Gödel's incompleteness theorem 定理 ; 哥德尔不完全性定理
Godel's Incompleteness Theorem 葛代尔不完备定理 ; Godel不完全性定理
Godel incompleteness theorem 哥德不完整性定理
Goedel's incompleteness theorem 哥德尔不完全性定理
godel ' s incompleteness theorem godel不完全性定理
Godel's incompleteness theorem seems like a practical joke.
哥德尔的不完全定理就象一个恶作剧。
G? Del's incompleteness theorem is getting more and more attention, but some solutions are wrong, need to be cleared off.
哥德尔不完全性定理越来越受到人们的垂青和重视，但有些却是错解，需要予以澄清。
After Gdel's the Incompleteness Theorem, more and more paradox resolutions began to penetrate deeply into the realm of language.
哥德尔提出不完全性定理之后，众多解决悖论的方案开始深入语言的领域。
应用推荐