TOPICS
Search

Undecidable


Not decidable as a result of being neither formally provable nor unprovable.


See also

Gödel's First Incompleteness Theorem, Gödel's Second Incompleteness Theorem, Recursively Undecidable, Rice's Theorem, Richardson's Theorem

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Undecidable." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Undecidable.html

Subject classifications