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.