Taxonomy vs Decidable - What's the difference?
taxonomy | decidable |
The science or the technique used to make a classification.
A classification; especially , a classification in a hierarchical system.
(taxonomy, uncountable) The science of finding, describing, classifying and naming organisms.
capable of being decided.
(computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
(logic) in intuitionistic logic, a proposition P'' is decidable in a given theory if it can be proven from the theory that "either ''P'' or not ''P ", i.e. in symbols: .http://plato.stanford.edu/entries/logic-intuitionistic/
As nouns the difference between taxonomy and decidable
is that taxonomy is the science or the technique used to make a classification while decidable is decidable.taxonomy
English
(wikipedia taxonomy)Noun
(taxonomies)Synonyms
* alpha taxonomyDerived terms
* folk taxonomy * scientific taxonomySee also
* classification * rank * taxon * domain * kingdom * subkingdom * superphylum * phylum * subphylum * class * subclass * infraclass * superorder * order * suborder * infraorder * parvorder * superfamily * family * subfamily * genus * species * subspecies * superregnum * regnum * subregnum * superphylum * phylum * subphylum * classis * subclassis * infraclassis * superordo * ordo * subordo * infraordo * taxon * superfamilia * familia * subfamilia * ontologydecidable
English
Adjective
(en adjective)- It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.