Decidable
Encyclopedia
The word decidable may refer to:
  • Decidable language
  • Decidability (logic)
    Decidability (logic)
    In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their set of logically valid formulas can be effectively...

     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
    Recursive set
    In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set....

    , a "decidable set" in recursion theory
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK