Undecidable

Undecidable refers to a problem for which no Algorithm can always produce a correct yes-or-no answer for all inputs. This concept reveals fundamental limits of Computation and formal logical systems.

See also

• Halting Problem
• Incompleteness
• Decision Problem
• Turing Machine