Contextualizebeta

undecidable

adj

Etymology

From un- + decidable.

  1. derived from dēcīdere
  2. derived from decider
  3. inherited from deciden
  4. suffixed as decidable — “decide + able”
  5. prefixed as undecidable — “un + decidable”

Definitions

  1. Incapable of being algorithmically decided in finite time. For example, a set of strings…

    Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.

  2. (of a WFF) logically independent from the axioms of a given theory

    (of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)

The neighborhood

Vish — recursive loop

No curated loop yet for undecidable. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA