  |
Kurt Gödel Society - http://www.logic.at/kgs/home.html
International organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel, and in other areas to which Gödel made contributions, especially mathematics, physics, theology, philosophy. |
| |
Kurt Gödel in Blue Hill - http://www.earlham.edu/~peters/writing/godel.htm
A brief account of Kurt Gödel's trip to Blue Hill, Maine, in the summer of 1942, by Peter Suber. |
| |
Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem - http://www.ncsu.edu/felder-public/kenny/papers/godel.html
A reasonably detailed explanation of Godel's Theorem by Kenny Felder. |
| |
Gödel's Ontological Argument - http://www.stats.uwaterloo.ca/~cgsmall/ontology.html
Paper by Chris Small about Gödel's proof of the existence of God. |
| |
Godel's Theorems - http://www.math.hawaii.edu/~dale/godel/godel.html
Godel's Incompleteness Theorem by Dale Myers. |