Discovered Pages
[Discover] Gödel and the limits of logic http://plus.maths.org/issue39/features/dawson/index.html
(godel logic toread creativity) 
[Discover] Godel and Godel's Theorem: Math http://www.ncsu.edu/felder-public/kenny/papers/godel.html (geb math ai logic)
[Discover] Edge: GÖDEL AND THE NATURE OF MATHEMATICAL TRUTH http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html (thought philosophy mathematics godel)
[Discover] http://math.stanford.edu/~feferman/papers/penrose.pdf http://math.stanford.edu/~feferman/papers/penrose.pdf (godel maths ai)
[Discover] Gödel, Nagel, minds and machines | Lambda the Ultimate http://lambda-the-ultimate.org/node/2515 (computing logic)
[Discover] Kurt Gödel's Ontological Argument http://www.stats.uwaterloo.ca/~cgsmall/ontology.html (philosophy metaphysics atheism ontology)