Independence (mathematical logic)

（重定向自Unprovable）

In mathematical logic, independence refers to the unprovability of a sentence from other sentences.

A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem.

单词	unprovable
释义	unprovable /ʌn'pruːvəb(ə)l/ 英汉-汉英词典 adj. 无法证明的,无法证实的词组 \| 习惯用语 unprovable adj. 无法证明的，无法证实的英语例句库 the hypothesis is not merely unprovable, but false. 这个假设不但无法证实，而且是错误的。声明：以上例句、词性分类均由互联网资源自动生成，未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。原声例句科普小杂文 There are so many other unprovable theories when it comes to QWERTY. 说到QWERTY键盘，还有很多假设是没有被证实的。生活大爆炸第10季 Leonard, in the world of theoretical physics, you never finish; so much is unprovable. 莱纳德在理论物理的世界你的努力永无尽头，有太多东西无法证明。 TED-Ed（视频版） And today, some mathematicians dedicate their careers to identifying provably unprovable statements. 而今天，一些数学家将他们的职业生涯奉献给识别可证明无法证明的陈述。 TED-Ed（视频版） Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, that very process introduces new unprovably true statements. 即使你通过将这些无法证明的陈述作为新的公理添加到一个扩大的数学系统中来解释这些无法证明的陈述，这个过程也会引入新的无法证明的真实陈述。英语百科 Independence (mathematical logic) （重定向自Unprovable） In mathematical logic, independence refers to the unprovability of a sentence from other sentences. A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem. 近义、反义、联想词近义词 adj. unobvious 反义词 n. obvious 联想词 unsubstantiated无事实根据的;unproven未经检验的;untrue不真实的;unverifiable不能证实的;conjecture推测;nonsensical无意义的;illogical不合逻辑的;disprove反驳，证明…是虚假的;unfounded无事实根据的;baseless无根据的;preposterous反常的,荒谬的;
随便看	Hjerm Hjerpsted Hjerting H. J. Eysenck h. j. eysencks HJM Hjo Hjordkær Hjorring Hjort hjortdahlite Hjorted Hjorth hjorths Hjortstamia crassa Hjortsvang Hjortφ HJR HJ REFLUX H.J.Res. hjrres disease HJS Hjuken Hjulsbro Hjälmaren

unprovable /ʌn'pruːvəb(ə)l/

Independence (mathematical logic)

近义词

反义词

联想词