单词 reducibility 释义 BETA

Examples ofreducibility

Dictionary> Examples ofreducibilityreducibilityisn’t in the Cambridge Dictionary yet. You can help!Add a definitionThe addition of a terminal object causes all approaches to prove strong normalization viareducibilitymethods to fail.From theCambridge English CorpusInstead, we implicitly show that the conditions forreducibilityare met.From theCambridge English CorpusWe then shortly hint at a severe technical difficulty in adapting the standard strong normalization proofs which use the so calledreducibilitymethod.From theCambridge English CorpusIt is a set of vectors of pairs, each pair consisting of a sequent and (possibly) areducibilitycandidate.From theCambridge English CorpusWhat conventionalism contested, however, was not the rationality of science, but itsreducibilityto a mechanical process.From theCambridge English CorpusFor non-symmetric matrices, thereducibilityis not guaranteed to be preserved.From theCambridge English CorpusWe introduce a notion ofreducibilityof representations of topological spaces and study some basic properties of this notion for domain representations.From theCambridge English CorpusIn other words, we want to know that "reaching under a constructor" is a safe operation from thereducibilitypoint of view.From theCambridge English CorpusA pre-model is a many-valued model whose truth values arereducibilitycandidates, that is, sets of proof-terms.From theCambridge English CorpusBut,reducibilityrequires a number of other constraints as well.From theCambridge English CorpusWe are now ready to definereducibilitycandidates.From theCambridge English CorpusThe primary contributions of this paper are the introduction of a simplifying representation of friction and formal tests for kinematicreducibility.From theCambridge English CorpusDespite supervenience, if explanatoryreducibilityfails in principle for some entity, then it is emergent.From theCambridge English CorpusThe presence of expansionary, context sensitive rewrite rules means that thereducibilitypredicates must be modified slightly.From theCambridge English CorpusWe will show that thereducibilityof function symbol headed terms follows from thereducibilityof their arguments.From theCambridge English CorpusThe perpetuality analysis has allowed us to obtain a 'pure'reducibilityproof.From theCambridge English CorpusIndeed, since -expansion means our reduction is typed, it is convenient for thereducibilitycandidates to contain well-typed terms.From theCambridge English CorpusThe proof uses the standard method ofreducibilitycandidates.From theCambridge English CorpusIt permits only the use of clear concepts whose clarity results from theirreducibilityto other clear concepts within the same system.From theCambridge English CorpusKincaid 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.