Kurt Gödel

Kurt Gödel [kurt gøːdl], (28 Aprile, 1906 – 14 Januar, 1978) wis a logeician, mathemateician, an philosopher o mathematics. He wis born in Brünn in Moravia, Austrick-Hungary (nou Brno in the Czech Republic), becam a Czechoslovak ceitizen at 12 year auld whan the Austro-Hungarian empire wis broke up, an an Austrian ceetizen at 23 year auld. Whan Hitler teuk Austria, Gödel automatically becam a German ceetizen at 32 year auld. Aifter World War II, at 42 year auld, he got US ceitizenship.

Gödel's best kent warks wis his incompleteness theorems, the maist kenspeckle o them seyin that ony sel-conseestent recursive axiomatic seistem wi eneuch pouer ti descreive integer arithmetic maun allou for "true" proposeitions anent integers that canna be proven frae the axioms. For tae pruive this theorem, Gödel wrocht oot a technique nou kent as Gödel nummerin, that codes formal expressions intil arithmetic. Forby he did kenspeckle wirk on the continuum hypothesis, shawin that it canna be dispruiven frae the accepit set theory axioms, assumin that thae axioms is conseestent.
Gödel made important contreibutions ti pruif theory; he clarifee'd the connections atween clessical logic, intuitionistic logic an
modal logic bi definin translations atween them.

Kurt Gödel wis aiblins the greatest logeician o the 1900s an ane o the three greatest logeicians ivver wi Aristotle an Frege. He published his maist important result in 1931 at 25 year auld whan he wrocht at Vienna Varsity, Austria.

 Important publications 

 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Monatshefte für Mathematik und Physik, vol. 38 (1931). (Available in Inglis at http://home.ddc.net/ygg/etext/godel/  )
 The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton Varsity Press, Princeton, NJ. (1940)

 Airtins an references 
 Further readin 
 Dawson, John W. Logical dilemmas: The life and work of Kurt Gödel. A K Peters. (ISBN 1-56881-025-3)
 Depauli-Schimanovich, Werner, & Casti, John L. Gödel: A life of logic. Perseus. (ISBN 0-7382-0518-4)
 Goldstein, Rebecca (2005). Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton & Company. (ISBN 0-393-05169-2)
 Hintikka, Jaakko (2000). On Gödel. Wadsworth. (ISBN 0-534-57595-1)
 Hofstadter, Douglas. Gödel, Escher, Bach (ISBN 0-465-02656-7)
 Nagel, Ernst, & Newman, James R..Gödel's Proof. New York Varsity Press. (ISBN 0-8147-5816-9)
 Wang, Hao (1996). A logical journey: From Gödel to philosophy. Cambridge, MA: MIT Press.
 Yourgrau, Palle (2004). A World Without Time: The Forgotten Legacy of Gödel and Einstein. Basic Beuks. (ISBN 0-465-09293-4)
 Yourgrau, Palle (1999). Gödel Meets Einstein: Time Travel in the Gödel Universe. Open Court. (ISBN 0-8126-9408-2)

Category:1906 births
Category:1978 daiths
Category:20t-century philosophers
Category:20t-century mathematicians
Category:American mathematicians
Category:American fowk o Moravie-German strynd
Category:Austrick emigrants tae the Unitit States
Category:Austrick mathematicians
Category:Austrick logicians
Category:Austrick philosophers
Category:Deists
Category:Ontologists
Category:Platonists
Category:Daiths bi stairvation
Category:Austrick fowk o Moravie-German strynd
Category:Institute for Advanced Study faculty
Category:Naitional Medal o Science laureates
Category:Fowk frae Brno
Category:Princeton Varsity faculty
Category:Set theorists
Category:Vienna Circle
Category:Varsity o Vienna alumni
Category:Buirials at Princeton Seemetry
Category:Foreign Members o the Ryal Society
Category:American logicians
Category:American philosophers