Changes

Among Gödel's other remarkable achievements:  the first to discover a solution to the equation for general relativity in which there are closed, time-like curves.  This means it is mathematically possible for there to be universes in which one can go back in time (provided one has enough fuel and time--something probably not physically possible).  Gödel was also the first to recognize the significance of the P=NP problem, in a letter he wrote to [[John von Neumann]] in 1956.<ref>http://rjlipton.wordpress.com/the-gdel-letter/</ref>

Among Gödel's other remarkable achievements:  the first to discover a solution to the equation for general relativity in which there are closed, time-like curves.  This means it is mathematically possible for there to be universes in which one can go back in time (provided one has enough fuel and time--something probably not physically possible).  Gödel was also the first to recognize the significance of the P=NP problem, in a letter he wrote to [[John von Neumann]] in 1956.<ref>http://rjlipton.wordpress.com/the-gdel-letter/</ref>

A profoundly religious man who reportedly read the [[Bible]] every morning, Gödel is also noted for giving Gödel's Ontological Proof,<ref>[http://www.stats.uwaterloo.ca/~cgsmall/Godel.final.revision.PDF A paper about Godel's ontological proof of the existence of God.] Godel did not publish his proof of the existence of God until 1971.</ref> an attempt to make [[Saint Anselm|Anselm's]] [[ontological argument]] into a completely logically rigorous argument.  This had the useful property of making very explicit and precise the assumptions necessary for one to accept the ontological argument.

A profoundly religious man who reportedly read the [[Bible]] every morning, Gödel is also noted for giving Gödel's Ontological Proof,<ref>[http://www.stats.uwaterloo.ca/~cgsmall/Godel.final.revision.PDF A paper about Godel's ontological proof of the existence of God].  Godel did not publish his proof of the existence of God until 1971.</ref> an attempt to make [[Saint Anselm|Anselm's]] [[ontological argument]] into a completely logically rigorous argument.  This had the useful property of making very explicit and precise the assumptions necessary for one to accept the ontological argument.

In this proof, Gödel demonstrated that if one accepts only five modest and seemingly obvious axioms, it is necessary to conclude that God exists.

In this proof, Gödel demonstrated that if one accepts only five modest and seemingly obvious axioms, it is necessary to conclude that God exists.