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 demonstrated some limitations of the program that would have placed all of mathematics on a complete axiomatic basis.  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 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>

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":