诺依曼曾在数理逻辑领域作研究,而此领域的一重大突破是古德尔(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不完备性定理
同义词: Kurt Godel
以上来源于: WordNet
应用推荐