没有想到一提Gödel（歌德尔），先生就再也没有停下来。他告诉我他已写了一本关于Gödel的书，现在正在写第二本，希望早日完成。
基于8个网页-相关网页
gödel prize 哥德尔奖
Gödel numbering 哥德尔数
Kurt 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
应用推荐
模块上移
模块下移
不移动