| 单词 | provability |
| 释义 | BETA Examples ofprovabilityDictionary> Examples ofprovability provabilityisn’t in the Cambridge Dictionary yet. You can help! Add a definition Mathematical constructivism regardsprovabilityas the touchstone for mathematical propositions because proofs are created and comprehended by the mind. From theCambridge English Corpus One relatively close area is studying nonmonotonicity of axiomatically-definedprovabilityrelations. From theCambridge English Corpus First, we provide a characterization of this notion in terms ofprovabilityin classical logic. From theCambridge English Corpus For these programs the one-stepprovabilityoperator becomes deterministic and the theory of normal logic programming extends to deterministic programs without any significant change. From theCambridge English Corpus Towards a framework for answer set programming asprovabilityin linear logic. From theCambridge English Corpus When establishing tentativeprovability, we proceed in exactly the same way as with definite provability, except that we restrict attention to defeasible rules. From theCambridge English Corpus This is in the spirit of classical mathematics, in which one cares more about the truth of a statement than about itsprovability. From theCambridge English Corpus Technically, the existence of uniform proofs for all provable goal formulas permits the search interpretation ofprovability. From theCambridge English Corpus This order corresponds to the idea of uniformprovabilitydefined at the beginning of this section. From theCambridge English Corpus To sum up,provabilitydoes not commute with negation: 'not knowing that' and 'knowing that not' are essentially distinct. From theCambridge English Corpus If we wish to be specific, we prefix it with either (forprovability) or = (for validity). From theCambridge English Corpus Since we will only be concerned withprovabilityrather than proofs, we will restrict our attention to indexed partially ordered sets rather than indexed categories. From theCambridge English Corpus The interest of this notion is that it can be totally expressed in terms ofprovabilityin linear logic. From theCambridge English Corpus For the sake of brevity, we will illustrate the connection betweenprovabilityand reachability in the extended setting through the following example. From theCambridge English Corpus As a direct consequence of this result, we obtain thatprovabilityis decidable in the considered fragment. From theCambridge English Corpus The typical 1 expansive property isprovability, or halting. From theCambridge English Corpus Defeasibleprovabilityrequires consideration of chains of reasoning for the complementary literal, and possible resolution using the superiority relation. From theCambridge English Corpus Nondeterministicprovabilityoperators were considered before in the context of logic programming. From theCambridge English Corpus 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. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。