decidable (English, adj)
expansion: decidable (comparative more decidable, superlative most decidable)
Senses:
glosses: capable of being decided.
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
glosses: 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.
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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:
form: more decidable
tags: comparative
form: most decidable
tags: superlative