decidable
[dɪˈsaɪdəbəɫ]
Word Rarity
Very rare
Frequency: Zipf frequency 1.79 in modern English
15
Scrabble Score
9
Letters
3
Syllables
7
Unique Chars
Meaning
adj
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.
adj
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."
Etymology
Etymology tree English decide Proto-Indo-European *-dʰlom Proto-Italic *-ðlom Proto-Italic *-ðlis Latin -bilis Latin -ābilis Old French -ablebor. Middle English -able English -able English decidable From decide + -able.
Regional Pronunciation
- British English: [dɪˈsaɪdəbəɫ]
Inflected Forms
more decidable (comparative)
most decidable (superlative)