好单词

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


    • 其他单词翻译

    英文单词 中文含义
    sierraville

    n.谢拉维尔（美国地名）

    网络解释

    塞拉维尔; 谢拉维尔
    siffleuse

    n.女吹哨手

    网络解释

    女吹哨手
    sieves

    n. 筛，漏勺( sieve的名词复数 )

    v. 筛，漏勺( sieve的第三人称单数 )

    网络解释

    筛子; 滤网; 精密筛网
    siebert

    n.（Siebert）人名；（英、德）西伯特；（法）西贝尔

    网络解释

    西伯特; 显示器; 数字显示器
    siesta

    n. （气候炎热国家的）午睡，午休

    网络解释

    午休; 情不自禁; 午觉
    siemens

    n. 西门子（欧姆的倒数）

    网络解释

    西门子; 西门子公司; 德国西门子公司
    sifo

    Statens Institut før Opinionsun-dersökning (Swedish-State Institute for Opinion Research) (瑞典语)国家调研学会

    网络解释

    金融办公室; 锺文观; 国家消费研究所
    sieving

    n. 筛（选），筛分（法）

    v. 筛，漏勺( sieve的现在分词 )

    网络解释

    筛分; 过筛; 筛析
    sieur

    n. 〈法〉先生，阁下（旧时法国对男子的尊称）
    siege

    n. 围攻，围困，围城（期间）；不断袭击；长期努力

    网络解释

    围困; 围城; 包围战
    sienese

    adj.锡耶纳人的；锡耶纳的

    n.锡耶纳居民

    网络解释

    锡耶纳; 画派; 恩那
    siewert

    n.（Siewert）人名；（德、瑞典）西韦特；（英）西沃特

    网络解释

    西沃特; 西维特
    sift

    vt. 筛分；精选；撒；审查

    vi. 筛；细查

    网络解释

    尺度不变特征变换(Scale Invariant Feature Transform); 筛分; 筛选
    sieva

    n.〔农〕雪豆

    网络解释

    锡耶瓦
    sieges

    n. 围攻，围困，围城（期间）( siege的名词复数 )
    sienite

    正长岩
    sif

    abbr. selective identification feature 选择识别特征

    网络解释

    希芙; 西芙; 应力强度因子(stress intensity factor)
    siftage

    筛下物

    网络解释

    筛下物
    siegeworks

    攻城设施

    网络解释

    攻城车厂
    sieve

    n. [粮食][矿]筛子；滤网；不能保守秘密的人，嘴不严的人

    v. 筛，筛选；滤

    网络解释

    滤网; 筛网; 过滤