DECIDABLE
Etymology
Adjective
decidable (comparative more decidable, superlative most decidable)
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: .
Synonyms
• (computer science): recursive, computable
Antonyms
• undecidable
Source: Wiktionary
De*cid"a*ble, a.
Definition: Capable of being decided; determinable.
Source: Webster’s Unabridged Dictionary 1913 Edition