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
[eedit|eedit soorce]- Ü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
[eedit|eedit soorce]Further readin
[eedit|eedit soorce]- 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)
![]() |
Wikimedia Commons haes media relatit taeKurt Gödel. |
- Wikipaedia airticles wi fauty NLP identifiers
- Wikipaedia airticles wi fauty SBN identifiers
- 1906 births
- 1978 daiths
- 20t-century philosophers
- 20t-century mathematicians
- American mathematicians
- American fowk o Moravie-German strynd
- Austrick emigrants tae the Unitit States
- Austrick mathematicians
- Austrick logicians
- Austrick philosophers
- Deists
- Ontologists
- Platonists
- Daiths bi stairvation
- Austrick fowk o Moravie-German strynd
- Institute for Advanced Study faculty
- Naitional Medal o Science laureates
- Fowk frae Brno
- Princeton Varsity faculty
- Set theorists
- Vienna Circle
- Varsity o Vienna alumni
- Buirials at Princeton Seemetry
- Foreign Members o the Ryal Society
- American logicians
- American philosophers