undecidable
- adjective
- /ˌʌndɪˈsaɪdəbəl/
- Specialized
- 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.
- 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
You cannot know for sure
It is not possible to know for sure
Antonyms
How Computable
- Specialized
- Specialized
- Specialized
- Specialized
Surface Forms
Morphology
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.