Decidable

The word decidable may refer to:

  • Decidable language
  • Decidability (logic) for the equivalent in mathematical logic
  • Gödel's incompleteness theorem, a theorem on the indecidability of languages consisting of "true statements" in mathematical logic.
  • Recursive set, a "decidable set" in recursion theory