Siteadmin, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
125,794
edits
Changes
Jump to navigation
Jump to search
Line 10:
Line 10: − + Line 19:
Line 19: + + + +
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.
Gödel's proof was a landmark for mathematics, and demonstrated that it can never be a finished project.
Gödel's proof was a landmark for mathematics, and demonstrated that it can never be a finished project.
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). 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, 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, 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.
*[http://www.answers.com/topic/kurt-g-del Biography from answers.com]
*[http://www.answers.com/topic/kurt-g-del Biography from answers.com]
*[http://www.usna.edu/Users/math/meh/godel.html Insightful biography from the U.S. Naval Academy]
*[http://www.usna.edu/Users/math/meh/godel.html Insightful biography from the U.S. Naval Academy]
== References ==
<references/>
[[Category:Mathematicians|Gödel, Kurt]]
[[Category:Mathematicians|Gödel, Kurt]]