Undecidable
 |
Look up undecidable in Wiktionary, the free dictionary. |
Undecidable may refer to:
In computer science
- Undecidable problem – a decision problem for which no algorithm can decide (i.e. give a YES or NO answer)
In mathematics and logic
- "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
See also
This article is issued from Wikipedia - version of the Tuesday, October 07, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.