Definify.com
Webster 1913 Edition
Decidable
De-cid′a-ble
,Adj.
Capable of being decided; determinable.
Webster 1828 Edition
Decidable
DECI'DABLE
,Adj.
Definition 2024
decidable
decidable
See also: décidable
English
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.
- It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
- (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: .[1]
Synonyms
- (computer science): recursive, computable
Antonyms
Derived terms
Related terms
Translations
capable of being decided
|
|
computer science: describing a set
|
|