decidable en · ADJ
Pronunciation
- (US) audio
- [dɪˈsaɪdəbəɫ] (UK)
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.
Meanings
- capable of being decided.
-
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.
It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| more decidable | Degree=Cmp | lexicographic | |
| most decidable | Degree=Sup | lexicographic |
Antonyms
Deriveds
Relateds
Synonyms
Translations (9)
fi ratkaistavissa oleva (capable of being decided) · ro decidabil (computer science: describing a set) · de entscheidbar (capable of being decided) · es decidible (capable of being decided) · he כריע (computer science: describing a set) · fi ratkaistavissa oleva (computer science: describing a set) · de entscheidbar (computer science: describing a set) · ru разрешимый (capable of being decided) · cs rozhodnutelný (capable of being decided)