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.在奥运会期间,第一块金牌总会引起了人们的注意,所以许多被寄予厚望的运动员背负了很多的压力。

  • 其他单词翻译

    英文单词 中文含义
    Mygalomorphae

    n.[无脊椎]猛蛛亚目

    网络解释

    原蛛亚目; 原蛛下目; 原疣亚目

    Mynheer

    n.荷兰语中相当于Mr或Sir的尊称;先生

    网络解释

    先生; 荷兰语

    Mymarommatidae

    异卵蜂科

    网络解释

    异卵蜂科

    Myriapoda

    n.多足纲

    网络解释

    多足类; 多足动物; 唇足类合称多足癸

    Myocastor

    n.河狸鼠属

    网络解释

    河狸鼠属

    Myriophyllum

    狐尾藻属

    网络解释

    狐尾藻属; 杂属; 狐尾藓属

    Myopsida

    n.闭眼亚目

    网络解释

    闭眼亚目; 锁管亚目; 闭眼类

    Myristica

    n.肉豆蔻属;肉豆蔻

    网络解释

    肉豆蔻类; 肉豆蔻科肉豆蔻属; 肉豆蔲属

    Myopus

    林旅鼠属

    网络解释

    黑足旅鼠属; 林旅鼠属

    Myristicaceae

    n.[植]肉豆蔻科

    网络解释

    肉荳蔻科; 滇南风吹楠; 肉豆寇科

    Myosin

    肌凝蛋白(肌球蛋白)

    网络解释

    肌球蛋白; 肌浆球蛋白; 肌球朊

    Myrj

    密尔吉

    网络解释

    密尔吉; 卖泽

    Myr

    abbr. million years 百万年;Myriopeda 多足纲

    网络解释

    马来西亚林吉特; 马币; 马来西亚令吉

    Myrmarachne

    n.蚁蛛属

    网络解释

    蚁蛛属; 蚁蜘

    Myra

    n. 迈拉(亦作 Mira)(f.)

    网络解释

    玛拉; 米拉; 麦拉

    Myrmecobius

    网络解释

    袋食蚁兽属; 食蚁袋兽

    Myrciaria

    n.卡姆果

    网络解释

    拟爱神木属; 嘉宝果属

    Myrmecophaga

    食蚁兽属

    网络解释

    食蚁兽属; 大食蚁兽属

    Myrdal

    n.(Myrdal)人名;(瑞典)米达尔

    网络解释

    米达尔; 缪尔达尔; 缪达尔

    Myrmecophagidae

    n.[脊椎]食蚁兽科

    网络解释

    食蚁兽科