SkipCaptcha
710
edits
Changes
Jump to navigation
Jump to search
Line 11:
Line 11: + + +
ontological argument
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).
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).
A profoundly religious man who reportedly read the [[Bible]] every morning, Gödel is also noted for giving Gödel's Ontological Proof, 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.
== Sources ==
== Sources ==