| 词汇 | provability |
| 释义 | provability noun[ U ] uk /ˌpruː.vəˈbɪl.ə.ti/ us /ˌpruː.vəˈbɪl.ə.t̬i/ the fact of being able to be proved: 可论证性，可证明性 Unlike religion, science depends on provability. The only legitimate reason for agreeing not to pursue a charge is the existence of real doubt about the ultimate provability of the charge. This strategy is reflected in the notion of uniform provability. Provability and deniability are central concepts of cybercrime. We are more interested in the provability of a mathematical formula than in the proof. When we attempt to establish provability, strict rules are used, as in classical logic. Proving and disproving acid test actions speak louder than wordsidiom anti-sexist attest authenticate demonstrable demonstrably demonstration of something dispel disprove non-documentary non-evidence probatory proof positive provable verify vindicate vindication vindicative vindicatory Related wordprovable Examples of provabilityprovability Mathematical constructivism regards provability as the touchstone for mathematical propositions because proofs are created and comprehended by the mind. One relatively close area is studying nonmonotonicity of axiomatically-defined provability relations. First, we provide a characterization of this notion in terms of provability in classical logic. For these programs the one-step provability operator becomes deterministic and the theory of normal logic programming extends to deterministic programs without any significant change. Towards a framework for answer set programming as provability in linear logic. When establishing tentative provability, we proceed in exactly the same way as with definite provability, except that we restrict attention to defeasible rules. This is in the spirit of classical mathematics, in which one cares more about the truth of a statement than about its provability. Technically, the existence of uniform proofs for all provable goal formulas permits the search interpretation of provability. This order corresponds to the idea of uniform provability defined at the beginning of this section. To sum up, provability does not commute with negation: 'not knowing that' and 'knowing that not' are essentially distinct. If we wish to be specific, we prefix it with either (for provability) or = (for validity). Since we will only be concerned with provability rather than proofs, we will restrict our attention to indexed partially ordered sets rather than indexed categories. The interest of this notion is that it can be totally expressed in terms of provability in linear logic. For the sake of brevity, we will illustrate the connection between provability and reachability in the extended setting through the following example. As a direct consequence of this result, we obtain that provability is decidable in the considered fragment. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。