Undecidable - AbsoluteAstronomy.com

Undecidable may refer to:

In mathematics and logic

Undecidable problem
Undecidable problem
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct a single algorithm that always leads to a correct yes-or-no answer....

- a decision problem which no algorithm can decide
"Undecidable" is sometimes used as a synonym of "independent
Independence (mathematical logic)
In mathematical logic, independence refers to the unprovability of a sentence from other sentences.A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that...

", where a formula in mathematical logic is independent of a logical theory if neither that formula nor its negation can be proved within the theory

Other uses

Also:

The source of this article is wikipedia, the free encyclopedia. The text of this article is licensed under the GFDL.