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 mathematician who did pioneering work in logic and the foundations of mathematics.  His Incompleteness Theorem was a stunning proof of limitations on logic, at a time when all leading mathematicians felt that its completeness could be established.  He immigrated to the [[United States]] and worked at the Institute for Advanced Study at Princeton, New Jersey.  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>

'''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 there 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>

Gödel took [[set theory]] 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]] 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":