HOME

TheInfoList



OR:

The word ''decidable'' may refer to: * Decidable language * Decidability (logic) for the equivalent in mathematical logic * Decidable problem and
Undecidable problem In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is ...
* Gödel's incompleteness theorem, a theorem on the undecidability of languages consisting of "true statements" in mathematical logic. * Recursive set, a "decidable set" in recursion theory


See also

* Decision problem * List of undecidable problems *
Decision (disambiguation) Decision may refer to: Law and politics *Judgment (law), as the outcome of a legal case *Landmark decision, the outcome of a case that sets a legal precedent * ''Per curiam'' decision, by a court with multiple judges Books * ''Decision'' (novel ...
* Decide (disambiguation) {{disambiguation