Decidable

/[dɪˈsaɪdəbəɫ]/ adj

Definitions

Adjective
  1. 1
    capable of being decided.
  2. 2
    describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.

    "It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine."

  3. 3
    in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: P∨¬P.

Etymology

From decide + -able.

Next best steps

Mini challenge

Unscramble this word: decidable