Thework of Kurt Gödel has shown that no useful system of arithmetic can beboth consistent and complete: see Gödel's incompleteness theorems.
工作哥德尔表明，任何有用的系统算法可以是一致的和完整的：见哥德尔的不完备性定理。
Thework of Kurt Gödel has shown that no useful system of arithmetic can beboth consistent and complete: see Gödel's incompleteness theorems.
工作哥德尔表明，任何有用的系统算法可以是一致的和完整的：见哥德尔的不完备性定理。
应用推荐