The word decidable has a variety of meanings in mathematical logic, computing, and recursion theory.

  • See Gödel's incompleteness theorem for an account of some meaning of this word in mathematical logic.
  • See decidable set for a meaning in recursion theory (i.e., the theory of computability).
  • See decidable language for a related meaning in computing.

This is a disambiguation page; that is, one that just points to other pages that might otherwise have the same name. If you followed a link here, you might want to go back and fix that link to point to the appropriate specific page.