undecidable
Meaning
not able to be proved or disproved by a finite set of logical steps; incapable of being decided or resolved with certainty.
Structure
Usage
the continuum hypothesis is an undecidable statement within the standard axioms of set theory.
godel's incompleteness theorems proved that any sufficiently powerful formal system contains undecidable propositions.
whether this specific program will halt is an undecidable problem in computer science.
Etymology
The word "undecidable" is a modern logical and mathematical term constructed from classical elements. Its core, the verb "decide", originates from the Latin decidere, meaning "to cut off" or "to settle", which itself is a compound of de- ("off") and caedere ("to cut"). This literal sense of cutting away alternatives evolved into the abstract meaning of reaching a conclusion. The prefix un- negates this capacity, and the suffix -able denotes the property of being subject to the action. Thus, "undecidable" literally means "not capable of being cut off/settled," perfectly capturing its technical meaning of a proposition that cannot be resolved within a given formal system.
Analysis
- un: a prefix of germanic origin, meaning "not". - de: a latin prefix, meaning "down" or "completely", used here as an intensifier. - cid: from the latin root caedere, meaning "to cut" or "to kill", which evolved into the sense of "to decide" (to cut off other possibilities). - able: a suffix from latin -abilis, meaning "capable of, fit for".