Kurt Godel

Resources about Kurt Godel

Kurt Godel was one of the greatest mathematicians of the XX century. He is mainly known by the incompleteness theorems, although he also did other important work in mathematics, mainly logic.

There are many biographies of Godel on the web, these two links might be a good starting point:

Papers by Godel that are available on the web:

- On formally undecidable propositions of Principia Mathematica and related systems I: a translation of Godel's most famous paper, from German to English, and to more common mathematical language

If you are interested in Godel, you might also be interested in reading more about the following scientists:

Books related to Kurt Godel.

- Godel, Escher, Bach: a very popular book, that can be a good introduction to Godel's work
- Logicomix: a comic book that shows Russell's life, with Godel as a character in the story (this is a biographical comic).

Godel is not too popular in movies, but there are at least these two movies that he shows in:

As happens with many other mathematicians, there are many interesting stories, or stories that are just funny about Godel. You'll find some of them in the following links.

Some nerdy jokes related to Godel or Godel's work on these links:

- Godel jokes
- xkcd
- metafilter page with one joke with Godel on it