诺依曼曾在数理逻辑领域作研究,而此领域的一重大突破是古德尔(Godel)(1906-1978)所引进的古德尔数:用数字表列出所有可能的逻辑命题(propositions)与证明(proofs)。冯.
基于16个网页-相关网页
4-2 3 0 年代的宇宙观 20 世纪人類有三大创举 ,除了 高得 (Godel) 的不完整理論 (incomplete theory, 1931 发表), 少有人注意到之外, 一般物理学家都耳熟能详的, 就是量子力学 (Quantum mecha...
基于12个网页-相关网页
Kurt Godel 哥德尔 ; 库尔特·哥德尔
Godel number 哥德数 ; 哥德尔数
Kurt Godel Collected Works 哥德尔文集
Godel Incomplete Theorem 哥德尔不完备定理
Godel process 格多尔水泥砂造型法
Godel number matching method Godel配数法
godel incompleteness theorems godel不完备性定理
同义词: Kurt Godel
以上来源于: WordNet
Godel, Escher, Bach, by Douglas hofstadter.
《哥德尔,艾瑟尔,巴赫》由道格拉斯·霍夫·斯塔特纂写。
Dale and Godel seem to be kindred spirits in this point, with Hayekian knowledge theory.
在这一点上,达尔似乎和哥德尔心心相通,拥有哈耶克式的知识论。
Godel theorem made mathematicians lose their belief of logic beauty, the crisis of belief appeared in mathematical field.
哥德尔不完备性定理抽走了数学家的逻辑美信仰,数学界出现了信仰危机。
应用推荐