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

 

单词 undecidable
释义

undecidable

/ʌndɪˈsʌɪdəb(ə)l /
adjective
1Not able to be firmly established or refuted: the facts of Christ’s existence are ultimately undecidable
1.1 Logic (Of a proposition or theorem) not able to be proved or disproved.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....
  • 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.
  • In Undecidable theories Tarski showed that group theory, lattices, abstract projective geometry, closure algebras and others mathematical systems are undecidable.

Derivatives

undecidability

/ʌndɪsʌɪdəˈbɪlɪti/ noun ...
  • Such an attempt quickly presents the problem of undecidability, an interesting principle with wide-ranging implications.
  • But, in the haze and visual undecidability of Lyons' St Albans facades, perhaps some remnants of both these lost ideals also hover.
  • Such concepts point to the undecidability of affect, its existence in the self and the other, the film and the theorist.
随便看

 

英语词典包含243303条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/3 11:30:09