请输入您要查询的英文单词:

 

单词 Kurt Godel
释义

您要找的是不是:

Kurt Godel
  • 翻译

库尔特·哥德尔

以上为机器翻译结果,快速获取精准的人工翻译结果,建议选择有道人工翻译

  • 网络释义
  • 1

    ?哥德尔

    ...库尔特.哥德尔(Kurt Godel)是证明了谓词演算系统非完备性的伟大数学家,与爱因斯坦同在美国普林斯顿高等研究院工作。

  • 2

    ?库尔特·哥德尔

    库尔特·哥德尔(Kurt Godel)是证明了谓词演算系统非完备性的伟大数学家。爱因斯坦颠覆了传统时空观;哥德尔的论文,则令数学自欧几里德以来的逻辑基础轰然倒...

  • 双语例句
  • 1
    After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
    之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/11 3:52:15