info prev up next book cdrom email home

Incompleteness

A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining Consistency.

See also Consistency, Gödel's Incompleteness Theorem


References

Chaitin, G. J. ``G. J. Chaitin's Home Page.'' http://www.cs.auckland.ac.nz/CDMTCS/chaitin/.




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