Provable

释义 Definition

adjective 可证明的；能被证实的

指某事物能够通过证据、逻辑或推理加以证明或验证。

发音 Pronunciation

/ˈpruːvəbl/

例句 Examples

The theory is provable with the data we have collected.
这个理论可以用我们收集的数据来证明。

In mathematics, a statement is considered provable if it can be derived from a set of axioms using accepted rules of inference.
在数学中，如果一个陈述可以通过公认的推理规则从一组公理中推导出来，那么它就被认为是可证明的。

词源 Etymology

由动词 prove（证明）加上后缀 -able（可……的）构成。prove 源自古法语 prover，再追溯至拉丁语 probāre，意为"检验、证实、认可"，其词根 probus 意为"好的、正直的"。后缀 -able 表示"能够被……的"，因此 provable 的字面含义即"能够被证明的"。该词最早记录于14世纪左右的英语文献中。

文学引用 Literary References

在伯特兰·罗素（Bertrand Russell）与阿尔弗雷德·怀特海（Alfred North Whitehead）的《数学原理》（Principia Mathematica）中，provable 是核心概念之一，用于讨论哪些数学命题可以从公理系统中推导出来。
库尔特·哥德尔（Kurt Gödel）在其划时代的论文《论〈数学原理〉及相关系统中的形式不可判定命题》（On Formally Undecidable Propositions, 1931）中，证明了在任何足够强大的一致性形式系统中，都存在既真实又不可证明（not provable）的命题，即著名的"哥德尔不完备定理"。
在道格拉斯·霍夫施塔特（Douglas Hofstadter）的《哥德尔、艾舍尔、巴赫》（Gödel, Escher, Bach, 1979）中，provable 一词被大量使用，用以探讨形式系统、自指和意识之间的深层联系。