Undecidable Problems
   HOME

TheInfoList



OR:

Undecidable may refer to: *
Undecidable problem In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is ...
in computer science and mathematical logic, a decision problem that no algorithm can decide, formalized as an undecidable language or undecidable set * "Undecidable", sometimes also used as a synonym of
independent Independent or Independents may refer to: Arts, entertainment, and media Artist groups * Independents (artist group), a group of modernist painters based in the New Hope, Pennsylvania, area of the United States during the early 1930s * Independe ...
, something that can neither be proved nor disproved within a mathematical theory * Undecidable figure, a two-dimensional drawing of something that cannot exist in 3d, such as appeared in some of the works of M. C. Escher


See also

* Decidable (disambiguation) {{disambiguation