decidable

Definitions

Capable of being settled, resolved, or determined.

In logic and mathematics, a property or problem for which there exists an effective method or algorithm that can provide a correct 'yes' or 'no' answer in a finite amount of time.

Examples

In formal logic, a theory is considered decidable if there exists an effective method for determining whether any given statement is true or false.

The problem of determining whether a program will eventually halt is famously undecidable, meaning no algorithm can solve it for all possible inputs.

Many simple mathematical systems are decidable, allowing computers to verify proofs automatically.

Synonyms

solvable resolvable determinable computable answerable definable settleable

Antonyms

undecidable unsolvable indeterminable uncomputable unanswerable insoluble ambiguous