单词盒子

incompleteness theorem

I 开头单词

基本解释

  • [数学]不完全性定理
  • [语言学]不完备原理
  • [心理学]哥德尔不完全定理
  • [计算机科学技术]不完整定理
  • [哲学]不完全性定理

英汉例句

    双语例句

  • Godel's incompleteness theorem seems like a practical joke.
    哥德尔的不完全定理就象一个恶作剧.
  • First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
    首先，哥德尔的完全性定理和不完全性定理中的“完全性”是两回事。
  • Incompleteness theorem show that if a strong formal system is consistent, there is a sentence which is true but nor provable.
    不完全性定理是说如果足够丰富的形式系统是和谐的，那么存在可以形式表述的真命题不可在系统中证明。

词组短语

    短语

  • Godel incompleteness theorem 哥德不完整性定理;翻译
  • godel s incompleteness theorem 哥德尔定理
  • Goedel 's incompleteness theorem 哥德尔不完全性定理
  • G ödel's incompleteness theorem 定理;哥德尔不完全性定理
  • Godel 's Incompleteness Theorem 葛代尔不完备定理;不完全性定理

专业释义

    数学

  • 不完全性定理

    • 语言学

  • 不完备原理

    • 心理学

  • 哥德尔不完全定理

    • 计算机科学技术

  • 不完整定理

    • 哲学

  • 不完全性定理