Changes

Jump to: navigation, search

Kurt Gödel

5 bytes added, 21 June
'''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]] , 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":
{{cquote|How Gödel transformed set theory can be broadly cast as follows: On the larger stage, from the time of Cantor, sets began making their way into topology, algebra, and analysis so that by the time of Gödel, they were fairly entrenched in the structure and language of mathematics. But how were sets viewed among set theorists, those investigating sets as such? Before Gödel, the main concerns were what sets are and how sets and their axioms can serve as a reductive basis for mathematics. Even today, those preoccupied with ontology, questions of mathematical existence, focus mostly upon the set theory of the early period. After Gödel, the main concerns became what sets do and how set theory is to advance as an autonomous field of mathematics.<ref>www.ams.org/notices/200604/fea-kanamori.pdf
</ref>}}
Siteadmin, bureaucrat, check user, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrator
91,346
edits