decidable
adjUK [dɪˈsaɪdəbəɫ]
Etymology From decide + -able.
1
capable of being decided.
2
Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences 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.
3
Human sciences, Logic, Mathematics, Philosophy, Sciences 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.
- Synonyms
- recursive, computable
- Antonyms
- undecidable
- Derived terms
- semi-decidable
- Related terms
- decidability