Undecidable

Look up undecidable in Wiktionary, the free dictionary.

Undecidable may refer to:

Computer science

Undecidable problem – a decision problem for which no algorithm can decide (i.e. give a YES or NO answer)

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

See also

This article is issued from Wikipedia - version of the Thursday, April 21, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.