Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Mathematics
Gödel's Incompleteness Theorems, Derick Swarey
Gödel's Incompleteness Theorems, Derick Swarey
Senior Honors Theses
The Incompleteness Theorems of Kurt Godel are very famous both within and outside of mathematics. They focus on independence and consistency within mathematics and hence a more thorough understanding of these is beneficial to their study. The proofs of the theorems involve many ideas which may be unfamiliar to many, including those of formal systems, Godel numbering, and recursive functions and relations. The arguments themselves mirror the Liar’s Paradox in that Godel constructs a statement asserting its own unprovability and then shows that such a statement and its negation must both be independent of the system, otherwise the system is …