单词godel
网络: 哥德尔；哥尔德；克尔特·哥德尔
Godel"s completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide.
完全性定理是说一阶逻辑对推理的语法和语义刻画重合的；
This is not in spite of, but partially based on the famous results of Godel and Turing.
这不是不顾，但部分的基础上著名的结果哥德尔和图灵。
A World Without Time: The Forgotton Legacy Of Godel And Einstein
没有时间的世界：哥德尔和爱因斯坦的被遗忘的遗产
Incompleteness: The Proof and Paradox of Kurt Godel
不完全性：哥德尔的证明与悖论
Learn Legal Research From the Godel"s Theorem
从哥德尔定理看法学研究