Kurt Gödel

Welcome to my site on the work of Kurt Gödel! This page links you to other pages at this site, have fun!

An introduction to this site:

In my 12th grade Calculus class, we used to discuss things that went slightly outside of the subject at hand. One of the things we discussed was the Incompleteness Theorem of Kurt Gödel. I remember the teacher saying that it was an incredibly important proof that shook the foundations of the intellectual world, turning it upside down. It interested me, so I decided that someday I would do some research on it, but somehow I never seemed to find the time. That's why now, two years later, I have decided to write this web site on Kurt Gödel's proof On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Thank you for your interest, and I hope you enjoy my web site...

---

A Short Biography on Kurt Gödel
Links to related sites
A Summary of Kurt Gödel's proof on Undecidable Propositions
A discussion of the proof
Bibliography and acknowledgements

Thanks for stopping by, this page has been created, and is maintained, by Hollis Marek.

If you have any comments, suggestions or questions, you can e-mail me at hmarek@black.clarku.edu
click here to return to my homepage

This site last modified on 4/1/98