decidable
Has definite answer
Decidable describes a problem or question for which an algorithm can determine the answer in finite time.
In logic and computer science, a decidable problem always yields a definite yes or no: The halting problem is famously undecidable.
More loosely, decidable means capable of being settled or resolved: Whether to accept the offer felt barely decidable.
Able to be established
- ascertainableCapable of being discovered
- resolvableAble to be settled
- settleableAble to be resolved
- answerableLiable to account
conclusive · definitive · unambiguous · clear-cut · established · definite · fixed · certain
Following programmed steps
- solvableCapable of resolution
- computableAble to be algorithmically determined
- recursiveDefined in terms of itself
- tractableEasily managed or controlled
verifiable · satisfiable · halting · computability · terminating · effective · mechanical · automaton
Able to be established
- theoremDemonstrated logical conclusion
- axiomSelf-evident starting principle
- proofDemonstration of truth
- predicateSentence's non-subject portion
consistency · inference · formalism · propositional · first-order · completeness · soundness · validity
determinable
Able to be established
- ascertainableCapable of being discovered
- resolvableAble to be settled
- settleableAble to be resolved
answerable · conclusive · definitive · unambiguous · clear-cut · established · definite · fixed · certain · knowable
algorithmic
Following programmed steps
- solvableCapable of resolution
- computableAble to be algorithmically determined
- recursiveDefined in terms of itself
tractable · verifiable · satisfiable · halting · computability · terminating · effective · mechanical · automaton · regular
provable
Able to be established
- theoremDemonstrated logical conclusion
- axiomSelf-evident starting principle
- proofDemonstration of truth
predicate · consistency · inference · formalism · propositional · first-order · completeness · soundness · validity · tautology
decidableundeterminable
Cannot be established
indeterminate · unresolvable · open · unsettled · ambiguous