Godel

Godel

中文翻译

哥德尔(人名)

网络解释

哥德尔; 哥尔德; 克尔特·

英文短语

  • 1.Kurt Godel 哥德尔;库尔特·哥德尔
  • 2.Godel number 哥德数;哥德尔数
  • 3.Kurt Godel Collected Works 哥德尔文集
  • 4.Godel Incomplete Theorem 哥德尔不完备定理
  • 5.Reflections on Kurt Godel 哥德尔
  • 6.Godel process 格多尔水泥砂造型法
  • 7.Godel number matching method Godel配数法
  • 8.godel incompleteness theorems godel不完备性定理
  • 英文例句

  • 1.Godel, Escher, Bach, by Douglas hofstadter.《哥德尔,艾瑟尔,巴赫》由道格拉斯·霍夫·斯塔特纂写。
  • 2.Dale and Godel seem to be kindred spirits in this point, with Hayekian knowledge theory.在这一点上,达尔似乎和哥德尔心心相通,拥有哈耶克式的知识论。
  • 3.Godel theorem made mathematicians lose their belief of logic beauty, the crisis of belief appeared in mathematical field.哥德尔不完备性定理抽走了数学家的逻辑美信仰,数学界出现了信仰危机。
  • 4.After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。
  • 5.During the Olympic Games, the first goden medal caught people´s attention all the time, so many players who were put great hope to get the godel medal burdened so much pressure.在奥运会期间,第一块金牌总会引起了人们的注意,所以许多被寄予厚望的运动员背负了很多的压力。

  • 其他单词翻译

    英文单词 中文含义
    rubric

    n. (用红字印刷的)题目(或句子等);注释;写在礼拜规程里的礼仪指示;习俗

    adj. 印为红字的

    网络解释

    量规; 评价量规; 红色印刷

    rubout

    n. 谋杀,擦掉,抹掉

    网络解释

    谋杀

    rubiginose

    感染锈病

    rubino

    n.(Rubino)人名;(英、法、意、葡)鲁比诺

    网络解释

    鲁比诺; 红宝石; 鲁宾诺

    rubidomycin

    n.[微]红比霉素

    网络解释

    红必霉素

    rubrical

    adj. 仪式指示的,朱色的

    网络解释

    红色的; 仪式指示的

    rubra

    痱子

    n.(Rubra)人名;(英)鲁布拉

    网络解释

    鲁布拉; 红酢浆草; 红色战士

    rubiginous

    adj. 锈的

    网络解释

    锈的; 锈色的

    rubinoff

    n.鲁比诺夫

    网络解释

    鲁比诺夫

    rubied

    adj. 红玉色的,深红的

    rubricate

    v. 加以红字标题,以红色书写

    网络解释

    加以红字标题; 用红色标明; 写红字

    rubradirin

    n.红迪菌素

    rubigo

    n.过氧化铁;[化学]铁丹

    网络解释

    过氧化铁

    rubies

    n. 红宝石( ruby的名词复数 );红宝石色,深红色

    网络解释

    红宝石系列; 鲁维斯; 江宝石

    rubricated

    v. 加以红字标题,以红色书写( rubricate的过去式和过去分词 )

    网络解释

    加以红字标题; 用红色标明; 写红字

    rubral

    脑红核的

    rubijervine

    n.红藜芦碱;玉红杰尔碱

    网络解释

    玉红芥芬胺; 玉红介芬胺; 玉红芥芬硷

    rubious

    adj. 红玉色的,红色的

    网络解释

    红玉色的; 深红

    rubiesite

    n.硫砷硒铋锑矿

    网络解释

    杂硫碲铋矿

    rubricates

    v. 加以红字标题,以红色书写( rubricate的第三人称单数 )

    网络解释

    加红字标题; 加以红字标题; 用红色标明