Daily Almanac for
May 26, 2012
Search: Infoplease Info search tips
Search: Biographies Bio search tips
| Share
 

Dictionary


Gö'del's incomplete'ness the"orem



Logic, Math.
1. the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.
2. the corollary that the consistency of such a system cannot be proved within the system.

Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.

Gödelgodendag
    • Cite
    • Print
    • Bookmark

 

Related Content



A free, reliable Q&A site for homework help. Answerplease.com