Decidable

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

adj ·Rare ·Advanced level

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.

Synonyms

All synonyms
computablerecursiverecursive

Example

More examples

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

Etymology

From decide + -able.

Related phrases

semi-decidableintuitionistic logic

More for "decidable"

SynonymsSentencesPronunciationTranslate

Next best steps

Find stronger synonymsSee usage examplesCheck pronunciationBrowse writing guides

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.