Changes

[[Image:Goel.jpg|thumb|right|Kurt Gödel at Institute for Advanced Study]]

[[Image:Goel.jpg|thumb|right|Kurt Gödel at Institute for Advanced Study]]

'''Kurt Gödel''' (1906-1978) was an Austrian-born mathematician who is considered perhaps the greatest logician since [[Aristotle]].  His Incompleteness Theorem was a stunning proof of limitations on logic, at a time when leading mathematicians were working diligently to establish its completeness.  He immigrated to the [[United States]] and worked at the Institute for Advanced Study at Princeton, New Jersey, and is buried in that town with his wife.  Gödel was a devout [[Christian]] who believed in an afterlife and read the [[Bible]] regularly.<ref>https://www.quora.com/What-led-Kurt-G%C3%B6del-to-become-a-Christian</ref>  He completely rejected the [[atheism]] of the [[Vienna Circle]] to which he was introduced, and Gödel was ostracized from academia despite his immense intellectual achievements.<ref>Gödel was offered only an unpaid lecturer position after he published his breakthrough papers.</ref>

'''Kurt Gödel''' (1906-1978) was an Austrian-born mathematician who is considered perhaps the greatest logician since [[Aristotle]].  His Incompleteness Theorem was a stunning proof of limitations on logic, at a time when leading mathematicians were working diligently to establish its completeness.  He immigrated to the [[United States]] and worked at the Institute for Advanced Study at Princeton, New Jersey, and is buried in that town with his wife.  Gödel was a devout [[Christian]] who believed in an afterlife and read the [[Bible]] regularly.<ref>https://www.quora.com/What-led-Kurt-G%C3%B6del-to-become-a-Christian</ref>  He completely rejected the [[atheism]] of the [[Vienna Circle]] to which he was introduced.

 

Gödel was ostracized from academia despite his immense intellectual achievements, and was never offered a tenure-track position of professor.<ref>Gödel was offered only an unpaid lecturer position after he published his breakthrough papers.</ref> He worked on developing a logical proof of [[God]] that build on the ontological proof by [[Saint Anselm]].  Politically, he supported Republican President [[Dwight Eisenhower]] and was critical of the [[Democrat]] [[Harry Truman]].

Gödel took [[set theory]], as originally developed by [[Georg Cantor]], to new heights, as explained by Boston University Professors Juliet Floyd and Akihiro Kanamori in "How Gödel Transformed Set Theory":

Gödel took [[set theory]], as originally developed by [[Georg Cantor]], to new heights, as explained by Boston University Professors Juliet Floyd and Akihiro Kanamori in "How Gödel Transformed Set Theory":