网络释义英英释义
诺依曼曾在数理逻辑领域作研究，而此领域的一重大突破是古德尔(Godel)（1906-1978）所引进的古德尔数：用数字表列出所有可能的逻辑命题(propositions)与证明(proofs)。冯.
基于16个网页-相关网页
Kurt Godel 哥德尔 ; 库尔特·哥德尔
Godel number 哥德数 ; 哥德尔数
Kurt Godel Collected Works 哥德尔文集
Godel Incomplete Theorem 哥德尔不完备定理
Godel process 格多尔水泥砂造型法
Godel number matching method Godel配数法
godel incompleteness theorems godel不完备性定理
godel
-
n.
United States mathematician (born in Austria) who is remembered principally for demonstrating the limitations of axiomatic systems (1906-1978)
同义词： Kurt Godel
以上来源于: WordNet
双语例句
-
Godel, Escher, Bach, by Douglas hofstadter.
《哥德尔，艾瑟尔，巴赫》由道格拉斯·霍夫·斯塔特纂写。
-
Dale and Godel seem to be kindred spirits in this point, with Hayekian knowledge theory.
在这一点上，达尔似乎和哥德尔心心相通，拥有哈耶克式的知识论。
-
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
应用推荐