Skip to main content
undecidable

undecidable

1 9.9
A problem you cannot show true or false using the rules of a system
  • adjective
  • /ˌʌndɪˈsaɪdəbəl/
  • Specialized
translation icon : indecidible
  • Such hegemonic claims, postmodernists hold, are ultimately undecidable, and even the attempt to reconcile or resolve the tensions among competing theories should be resisted a priori.
  • undecidable in general

This is now in the halting problem in general undecidable in computer science speak.

Examples

  • Note that the satisfiability of constraints that contain multiplications of variables is, in general, undecidable.

    Academic text (2012)
  • This is the standard procedure for showing languages are undecidable using what's called the reducibility method.

  • It's full of undecidable arguments.

  • The problem is undecidable, just like the fate of a pattern in Conway's Game of Life.

  • If, in fact, the metaphor is misleading, then the debate is in principle undecidable, and so we can expect it to continue indefinitely.

    Academic text (2010)
  • The world of the Declaration is one in which there are unanswered questions and undecidable propositions.

    Blog text (29)
  • In Henzinger et al. (1998), it has been shown that reachability is undecidable for a very simple class of hybrid systems.

    Academic text (2010)
  • If one attempts to hold both readings simultaneously, like the problem of the "rabbit-duck" drawing, the eye dances back and forth; the rationale becomes undecidable.

    Academic text (2003)
  • Whereas stoical and various religious forms of such resignation and impassibility stemmed from convictions as to what is right and wrong, good and bad, Pyrrho's indifference and steadfastness were grounded in the conviction that, most matters being undecidable, one might as well just go on as before.

    Academic text (2000)
  • In mathematical logic, some statements are undecidable, meaning they cannot be proven true or false.

Synonyms

indeterminable
vsundecidable
1 7.7

You cannot know for sure

is about being unprovable within a formal logical system rather than mere uncertainty
undeterminable
vsundecidable
7.6

It is not possible to know for sure

is not provable either true or false using a formal system's rules

Antonyms

decidable
  • Specialized
1 9.9

A problem that a method can always answer as true or false

How Computable

computable
  • Specialized
1 5.9
decidable
  • Specialized
1 9.9
undecidable
  • Specialized
1 9.9
incomputable
  • Specialized
9.9

Surface Forms

undecidable positive

Morphology

undecidable = decidable (semi-transparent) = un + decide + able

The negation is straightforward, but the term 'decidable' is a specialized logical adjective rather than an everyday learner word.

Etymology

The word undecidable is made from un- 'not' and decide 'to make a choice', so it literally means 'not able to be decided'. In math and logic, an undecidable problem is one you cannot prove true or false using the rules of the system, so it stays unresolved inside that system.