网站首页  词典首页

请输入您要查询的词汇:

 

词汇 undecidable
释义

Definition of undecidable in English:

undecidable

adjectiveʌndɪˈsʌɪdəb(ə)lˌəndəˈsīdəb(ə)l
  • 1Not able to be firmly established or refuted.

    无法决定的;无可反驳的

    the facts of Christ's existence are ultimately undecidable
    1. 1.1Logic (of a proposition or theorem) not able to be proved or disproved.
      〔逻〕(命题,定理)不可判定的
      Example sentencesExamples
      • Godel showed that in any formal system adequate for number theory there is an undecidable formula, that is, a formula such that neither it nor its negation can be proved.
      • Viruses are free to mutate into an infinite variety of functionally equivalent forms, whereas the process of establishing their equivalence is undecidable.
      • In Undecidable theories Tarski showed that group theory, lattices, abstract projective geometry, closure algebras and others mathematical systems are undecidable.
      • And we know that 1st order logic is undecidable,
      • All we could achieve by our mathematics would be non-constructive existence proofs that told us that they existed, in much the same manner that we can deduce the existence of undecidable propositions.

Derivatives

  • undecidability

  • nounʌndɪsʌɪdəˈbɪlɪti
    • This work was largely on recursion theory and undecidability.
      Example sentencesExamples
      • But, in the haze and visual undecidability of Lyons' St Albans facades, perhaps some remnants of both these lost ideals also hover.
      • Such an attempt quickly presents the problem of undecidability, an interesting principle with wide-ranging implications.
      • Perhaps it was part of a more general interest in undecidability, and ambiguity.
      • Such concepts point to the undecidability of affect, its existence in the self and the other, the film and the theorist.

Definition of undecidable in US English:

undecidable

adjectiveˌəndəˈsīdəb(ə)l
  • 1Not able to be firmly established or refuted.

    无法决定的;无可反驳的

    the facts of Christ's existence are ultimately undecidable
    1. 1.1Logic (of a proposition or theorem) not able to be proved or disproved.
      〔逻〕(命题,定理)不可判定的
      Example sentencesExamples
      • All we could achieve by our mathematics would be non-constructive existence proofs that told us that they existed, in much the same manner that we can deduce the existence of undecidable propositions.
      • Viruses are free to mutate into an infinite variety of functionally equivalent forms, whereas the process of establishing their equivalence is undecidable.
      • And we know that 1st order logic is undecidable,
      • In Undecidable theories Tarski showed that group theory, lattices, abstract projective geometry, closure algebras and others mathematical systems are undecidable.
      • Godel showed that in any formal system adequate for number theory there is an undecidable formula, that is, a formula such that neither it nor its negation can be proved.
随便看

 

春雷网英语在线翻译词典收录了464360条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2000-2024 Sndmkt.com All Rights Reserved 更新时间:2024/12/28 16:35:26