Decidable
Definition, Meaning & Examples
Pronunciation [dɪˈsaɪdəbəɫ] · Part of speech adjective
Quick meaning: Decidable is an adjective meaning capable of being decided.
Meaning
capable of being decided.
More Meanings
- (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: P∨¬P.
Example Sentences
It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
Synonyms for decidable
Depending on context, synonyms include recursive, computable.
Antonyms for decidable
Common opposites include undecidable.
Related Words
Related dictionary entries include judicable, decisory, determinable, determinizable, decreeable, adjudicable.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.