Kurt Gödel

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Question book-new.svg Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori).
Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci, te nakon toga možete ukloniti ovaj šablon.
Kurt Gödel
Kurt gödel.jpg
Rođenje 28. april 1906.
Brno, Austro-Ugarska
Smrt 14. januar 1978. (71. godina)
Princeton, SAD
Polje Logika i matematika
Institucija Institute for Advanced Study
Alma mater Bečki univerzitet
Akademski mentor Hans Hahn

Kurt Friedrich Gödel (28. april 1906 - 14. januar 1978) je bio austrijsko-američki matematičar i logičar, koji je 1931. godine dokazao kompletnost prvog reda infinitezimalnog računa funkcija. Zatim je uslijedio njegov rad Uber formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme (O formalnoj neodređenosti postavki u "Principima matematike" i odnosnim sistemima), u kojem je dokazao prvu od svoje dvije poznate teoreme nekompletnosti. Ovaj rad, koji datira od 17. novembra 1930. godine, izvorno je objavljen na njemačkom jeziku 1931. godine u časopisu "Monatshefte für Mathematik".

1938. godine Gödel je pokazao da se Kantorova hipoteza kontinuuma ne može opovrgnuti unutar standardne Cermelo-Frenkel teorije skupova, čak ni ako joj se doda aksiom izbora. Američki matematičar Paul Cohen je 1963. godine šokirao matematičku zajednicu dokazavši da se hipoteza kontinuuma ne može ni dokazati unutar ZFC.

Također pogledajte[uredi | uredi izvor]

Literatura[uredi | uredi izvor]

  • John L. Casti i Werner DePauli, 2000. Gödel: A Life of Logic, Basic Books (Perseus Books Group), Cambridge, MA. ISBN 0-7382-0518-4.
  • John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. AK Peters, Ltd., 1996.
  • John W. Dawson, Jr, 1999. "Gödel and the Limits of Logic", Scientific American, vol. 280 broj. 6, str. 76–81
  • Torkel Franzén, 2005. Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. Wellesley, MA: A K Peters.
  • Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870–1940. Princeton Univ. Press.
  • Jaakko Hintikka, 2000. On Gödel. Wadsworth.
  • Douglas Hofstadter, 1980. Gödel, Escher, Bach. Vintage.
  • Stephen Kleene, 1967. Mathematical Logic. Dover paperback reprint, oko 2001.
  • Stephen Kleene, 1980. Introduction to Metamathematics. North Holland ISBN 0-7204-2103-9 (Ishi Press paperback. 2009. ISBN 978-0-923891-57-2)
  • J.R. Lucas, 1970. The Freedom of the Will. Clarendon Press, Oxford.
  • Ernest Nagel i Newman, James R., 1958. Gödel's Proof. New York Univ. Press.
  • Procházka, Jiří, 2006, 2006, 2008, 2008, 2010. Kurt Gödel: 1906–1978: Genealogie. ITEM, Brno. Volume I. Brno 2006, ISBN 80-902297-9-4. Na Njem., Engl. Volume II. Brno 2006, ISBN 80-903476-0-6. Na Njem., Engl. Volume III. Brno 2008, ISBN 80-903476-4-9. Na Njem., Engl. Volume IV. Brno, Princeton 2008, ISBN 978-80-903476-5-6. Na Njem., Engl.Volume V,Brno,Princeton 2O1O, ISBN 8O-9O3476-9-X.In Germ.,Engl.
  • Procházka, Jiří, 2O12. "Kurt Gödel: 19O6-1978: Historie". ITEM,Brno, Wien, Princeton.

Volume I. ISBN 978-8O-9O3476-2-5. In Ger., Engl.

  • Ed Regis, 1987. Who Got Einstein's Office? Addison-Wesley Publishing Company, Inc.
  • Raymond Smullyan, 1992. Godel's Incompleteness Theorems. Oxford University Press.
  • Olga Taussky-Todd, 1983. Remembrances of Kurt Gödel. Engineering & Science, Winter 1988.
  • Hao Wang, 1987. Reflections on Kurt Gödel. MIT Press.
  • Hao Wang, 1996. A Logical Journey: From Godel to Philosophy. MIT Press.
  • Yourgrau, Palle, 1999. Gödel Meets Einstein: Time Travel in the Gödel Universe. Chicago: Open Court.
  • Yourgrau, Palle, 2004. A World Without Time: The Forgotten Legacy of Gödel and Einstein. Basic Books. John Stachelova recencija knjiga u Notices of the American Mathematical Society (54 (7), str. 861–868).
Commons logo
U Wikimedijinom spremniku se nalazi još materijala vezanih uz: