| 单词 | reducibility |
| 释义 | BETA Examples ofreducibilityDictionary> Examples ofreducibility reducibilityisn’t in the Cambridge Dictionary yet. You can help! Add a definition The addition of a terminal object causes all approaches to prove strong normalization viareducibilitymethods to fail. From theCambridge English Corpus Instead, we implicitly show that the conditions forreducibilityare met. From theCambridge English Corpus We then shortly hint at a severe technical difficulty in adapting the standard strong normalization proofs which use the so calledreducibilitymethod. From theCambridge English Corpus It is a set of vectors of pairs, each pair consisting of a sequent and (possibly) areducibilitycandidate. From theCambridge English Corpus What conventionalism contested, however, was not the rationality of science, but itsreducibilityto a mechanical process. From theCambridge English Corpus For non-symmetric matrices, thereducibilityis not guaranteed to be preserved. From theCambridge English Corpus We introduce a notion ofreducibilityof representations of topological spaces and study some basic properties of this notion for domain representations. From theCambridge English Corpus In other words, we want to know that "reaching under a constructor" is a safe operation from thereducibilitypoint of view. From theCambridge English Corpus A pre-model is a many-valued model whose truth values arereducibilitycandidates, that is, sets of proof-terms. From theCambridge English Corpus But,reducibilityrequires a number of other constraints as well. From theCambridge English Corpus We are now ready to definereducibilitycandidates. From theCambridge English Corpus The primary contributions of this paper are the introduction of a simplifying representation of friction and formal tests for kinematicreducibility. From theCambridge English Corpus Despite supervenience, if explanatoryreducibilityfails in principle for some entity, then it is emergent. From theCambridge English Corpus The presence of expansionary, context sensitive rewrite rules means that thereducibilitypredicates must be modified slightly. From theCambridge English Corpus We will show that thereducibilityof function symbol headed terms follows from thereducibilityof their arguments. From theCambridge English Corpus The perpetuality analysis has allowed us to obtain a 'pure'reducibilityproof. From theCambridge English Corpus Indeed, since -expansion means our reduction is typed, it is convenient for thereducibilitycandidates to contain well-typed terms. From theCambridge English Corpus The proof uses the standard method ofreducibilitycandidates. From theCambridge English Corpus It permits only the use of clear concepts whose clarity results from theirreducibilityto other clear concepts within the same system. From theCambridge English Corpus Kincaid rejects this as a conflation of theoreticalreducibilityand explanatoryreducibility(p. 39). 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条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。