undecidable
C2Pronunciation
UK
- /ˌʌndɪsˈaɪdəbəl/
US
- /ˌʌndɪsˈaɪdəbəl/
Description
- impossible to decide
- unsolvable
- indeterminate
- unresolved
Something is undecidable when no clear answer can be reached. In mathematics, logic, and computer science, this has a strict meaning: some questions cannot be settled by the rules of a given system, or there is no method that will always produce an answer. Outside technical fields, people also use the word for cases that seem impossible to settle in a final way, such as a hard moral choice with strong reasons on both sides. The idea is stronger than simply "difficult" or "still open" because it suggests that a final answer cannot be reached, not just that it has not been found yet.
The word undecidable describes something that cannot be settled with a definite yes-or-no answer. It is stronger than "hard to decide" or "still unanswered." If something is undecidable, the point is not simply that people have not solved it yet, but that, in the relevant system or setting, there is no way to reach a final decision.
This idea is especially important in mathematical logic and computer science. In those fields, an undecidable problem is one that cannot be resolved by the allowed rules or by any procedure that is supposed to work in every case. Gödel's work showed that in rich formal systems there are statements that can be neither proved nor disproved within the system itself. In computation, some decision problems are called undecidable because no algorithm can always determine the answer.
Outside technical subjects, the word is sometimes used more loosely. In philosophy, ethics, or ordinary conversation, it can describe a situation that seems impossible to settle in a final or fully satisfying way. A deeply personal moral dilemma, for example, may be described this way when each choice has serious costs and no single answer feels clearly right.
You might also see the word used for interpretation. A work of art, a philosophical question, or a legal issue may be called undecidable when no single reading can be established as the final one. In these broader uses, the word often suggests deep ambiguity rather than a formal proof.
So, while undecidable has a precise technical meaning in logic and computing, it also has a wider everyday use. In both cases, the core idea is the same: the matter cannot be brought to a final, definite decision.
Examples
- 1
Computer science
In computer science, the question of whether a program will always stop running is undecidable.
- 2
Formal systems
The theorem showed that some statements are undecidable within that system.
Phrase
within that system
using only the rules of that system
- 3
Moral philosophy
Some philosophers argue that a few moral conflicts are genuinely undecidable.
Forms and spellings
1 form open this card.
Main spelling
- undecidableadjective