Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

An Outline of the Proof of Gödel's Incompleteness Theorem

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.apronus.com/math/goedel.htm
Author:Michal Wojcik
Description: On this page we give an outline of the proof of Goedel's Incompleteness Theorem. We construct a statement in set theory such that it is not a theorem and its negation is not a theorem. What we show on this page is not a presentation of the proof that was written by Goedel himself. We present all the basic ideas that are necessary to understand what the theorem asserts and what it would take to write a proof.
Levels: Research
Languages: English
Resource Types: Publications
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.