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 inMoravia,Austrick-Hungary(nouBrnoin theCzech Republic), becam aCzechoslovakceitizen at 12 year auld whan the Austro-Hungarian empire wis broke up, an anAustrianceetizen at 23 year auld. WhanHitlerteuk Austria,Gödel automatically becam aGermanceetizen at 32 year auld. AifterWorld War II,at 42 year auld, he gotUSceitizenship.

Gödel's best kent warks wis hisincompleteness theorems,the maist kenspeckle o them seyin that ony sel-conseestentrecursiveaxiomatic seistemwi 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 asGödel nummerin,that codes formal expressions intil arithmetic. Forby he did kenspeckle wirk on thecontinuum hypothesis,shawin that it canna be dispruiven frae the accepitset theoryaxioms, assumin that thae axioms is conseestent. Gödel made important contreibutions tipruif theory;he clarifee'd the connections atweenclessical logic,intuitionistic logican modal logicbi definin translations atween them.

Kurt Gödel wis aiblins the greatest logeician o the1900san ane o the three greatest logeicians ivver wiAristotleanFrege.He published his maist important result in1931at 25 year auld whan he wrocht atVienna 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 athttp://home.ddc.net/ygg/etext/godel/Archived2006-07-05 at theWayback Machine)
• 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)