哥德尔

网络释义

1.
Kurt Godel
...中的一个定理，1931年奥地利逻辑、数学家克尔特.哥德尔(Kurt Godel)发现并证明的，这个定理彻底粉碎了希尔伯特的形式主 …
www.360doc.com|基于710个网页
2.
Goedel
珞(Zermelo)、罗素(Russsell)、希尔伯特(Hilbert)、哥德尔(Goedel)、丘吉(Church)、图灵(Turing)等人围绕解释和实现莱布尼兹 …
www.xici.net|基于70个网页
3.
K. Goedel
在一次聚会时，有人提起哥德尔(K.Goedel)工作的重要，老金说“要买一本看看”，他的一个叫沈有鼎的学生当场对金说道：“老实 …
www.bookdao.com|基于37个网页
4.
Kurt G del
...坦晚年的好朋友，普林斯顿高等研究院呆板的逻辑学教授哥德尔（Kurt G del）的著名轶闻。
www.baike.com|基于31个网页
5.
K.Godel
但是哥德尔（K.Godel）证明，算术公理系统不是完备的，这给人们以很大打击。这意味着，在算术系统中，存在一个命题，该 …
jl-wu.blog.163.com|基于13个网页
6.
K.GÖdel
著名的哥德尔（K.GÖdel）定理揭示与论证了任何一个一致的算术逻辑的不完全性，而且这种不完全性也是不能用逻辑体系本身 …
rwkxgl.snnu.edu.cn|基于7个网页

例句

释义:
全部全部,Kurt GodelKurt Godel,GoedelGoedel,K. GoedelK. Goedel
类别:全部全部,口语口语,书面语书面语,标题标题,技术技术
来源:全部全部,字典字典,网络网络
难度:全部全部,简单简单,中等中等,难难
1.
del's argument shows that, no matter how good our technique, there must be some arithmetical truths that cannot be proved.
但是哥德尔的论证表明，不管我们的技术有多好，总会有一些无法得到证明的算术真理。
blog.sina.com.cn
2.
But asthemathematicianG? del showed, inconsistency is aninevitabletrait ofanyself- sustaining system built up out of consistent parts.
但是正如数学家哥德尔阐明的，矛盾是任何由连贯一致的部分建立起来的自维持系统的惯常特性。
pk4.xyz
3.
In1949, Kurt G? del published one of the first mathematical descriptions of how it could work.
库尔特·哥德尔在第一数学中发表的其中一篇文章就详细地描述了它是如何工作的。
www.suiniyi.com
4.
And this idea improved our understanding of the Incompleteness Theorem.
这一思想方法还有助于我们理解哥德尔不完全性定理。
www.ceps.com.tw
5.
First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
首先，哥德尔的完全性定理和不完全性定理中的“完全性”是两回事。
www.remenshijian.com
6.
This is not in spite of, but partially based on the famous results of Godel and Turing.
这不是不顾，但部分的基础上著名的结果哥德尔和图灵。
www.syyxw.com
7.
A World Without Time: The Forgotton Legacy Of Godel And Einstein
没有时间的世界：哥德尔和爱因斯坦的被遗忘的遗产
kaoshi.gmw.cn
8.
Incompleteness: The Proof and Paradox of Kurt Godel
不完全性：哥德尔的证明与悖论
kaoshi.gmw.cn
9.
Learn Legal Research From the Godel's Theorem
从哥德尔定理看法学研究
www.ilib.cn