Undecidable

From Wikipedia, the free encyclopedia

Undecidable may refer to:

In mathematics and logic
  • Undecidable problem - a decision problem which no algorithm can decide
  • "Undecidable" is sometimes used as a synonym of "independent", 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
  • Undecidable figure
  • Undecidable language
  • Undecidable set
Also

See also

  • Decidable (disambiguation)
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.