info prev up next book cdrom email home

Undecidable

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

See also Gödel's Incompleteness Theorem, Richardson's Theorem




© 1996-9 Eric W. Weisstein
1999-05-26