Dictionary
Thesaurus
Encyclopedia
Translator
Web
Related Searches
Nearby Words

Gödel's Incompleteness Theorem

 - 1 dictionary result

Gödel's incompleteness theorem

 
Use Gödel's Incompleteness Theorem in a Sentence
–noun Logic, Mathematics.
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.
Origin:
after K. Gödel, who formulated it
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2009.
Cite This Source Link To Gödel's Incompleteness Theorem
Search another word or see Gödel's Incompleteness Theorem on Thesaurus | Reference
FacebookTwitterFollow us:
Partner Sites:
Ask AnswersEviteExpediaHotelsHotwireLife123LiveDailyMy Way