Decidability Of Elementary Theories
   HOME

TheInfoList



OR:

The word ''decidable'' may refer to: * Decidable language * Decidability (logic) for the equivalent in mathematical logic *
Decidable problem In computability theory and computational complexity theory, a decision problem is a computational problem that can be posed as a yes–no question of the input values. An example of a decision problem is deciding by means of an algorithm whethe ...
and Undecidable problem * 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 In computability theory, an undecidable problem is a type of computational problem that requires a yes/no answer, but where there cannot possibly be any computer program that always gives the correct answer; that is, any possible program would some ...
*
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) Decide may refer to: *Decide!, an Italian political association *Decide, Kentucky *, a decision support model in various domains See also

*Decider (disambiguation) {{disambiguation ...
{{disambiguation