gödel prize 哥德尔奖
Gödel numbering 哥德尔数
Kurt Gödel 哥德尔
Gödel 歌德尔
Gödel- Escher- Bvery single 异璧之
From Gödel to Philosophy 副标题
Gödel completeness theorem 完全性定理
Thework of Kurt Gödel has shown that no useful system of arithmetic can beboth consistent and complete: see Gödel's incompleteness theorems.
工作哥德尔表明，任何有用的系统算法可以是一致的和完整的：见哥德尔的不完备性定理。
youdao
应用推荐
模块上移
模块下移
不移动