undecidable
undecidable
UK[ˌʌndɪˈsaɪdəbl̩]US[ˌʌndɪˈsaɪdəbl̩]
adj
not able to be proved or disproved by a finite set of logical steps; incapable of being decided or resolved with certainty.
Morpheme Breakdown
un
de
cid
able
un
not
de
down, completely
cid
cut, decide
able
capable of
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
Structure: un (not) + de (down, completely) + cid (cut, decide) + able (capable of)
- 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".
Examples
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.