...库尔特.哥德尔(Kurt Godel)是证明了谓词演算系统非完备性的伟大数学家，与爱因斯坦同在美国普林斯顿高等研究院工作。
基于1044个网页-相关网页
库尔特·哥德尔(Kurt Godel)是证明了谓词演算系统非完备性的伟大数学家。爱因斯坦颠覆了传统时空观；哥德尔的论文，则令数学自欧几里德以来的逻辑基础轰然倒...
基于135个网页-相关网页
Kurt Godel Collected Works 哥德尔文集
Reflections on Kurt Godel 哥德尔
Kurt Godel
库尔特·哥德尔
以上为机器翻译结果，长、整句建议使用 人工翻译 。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
youdao
应用推荐
模块上移
模块下移
不移动