undecidable
English · Thesaurus
AI In plain words
Writing a short explanation…
Written by a house AI from the entry below, in your language. The entry itself is the source.
undecidable
adjective
- 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. The first-order procedure SP differs from the proposi- tional procedure CP°₁ in an essential feature. Namely, CP°₁ always terminates while SP may run forever as we have seen with the example immediately after (3.7). This is not a specific defect of SP. Rather it is known that first-order logic i
- (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.)
Opposite: decidable
Thesaurus
adjective
Opposite: decidable
Translations
Every language
adj incapable of being algorithmically decided
| Español | indecidible |
|---|---|
| Deutsch | unentscheidbar |
| Română | nedecidabil |
| עברית | אי־כריע í-karí'a |
Talk about this word "undecidable." Wiktionary, via Micwyn, micwyn.com/word/undecidable. Accessed 6 Nov. 2026. undecidable. (n.d.). In Wiktionary, via Micwyn. Retrieved November 6, 2026, from https://micwyn.com/word/undecidable "undecidable." Wiktionary, via Micwyn. Accessed November 6, 2026. https://micwyn.com/word/undecidable.Cite this
@misc{undecidable_2026,
title = {undecidable},
howpublished = {Wiktionary, via Micwyn},
year = {2026},
url = {https://micwyn.com/word/undecidable},
urldate = {2026-11-06}
}
