From Wikipedia, the free encyclopedia
Kurt Gödel (* 28. apríl 1906, Brno – † 14. január 1978, Princeton, New Jersey, USA) bol rakúsko-uhorský, neskôr americký logik, matematik a matematický filozof, súkromný docent Viedenskej univerzity (1933 – 1938), od 1953 profesor Princetonského inštitútu pokročilých štúdií, člen Národnej Akadémie vied USA a Americkej filozofickej spoločnosti.
Kurt Gödel | |
rakúsko-uhorský-americký logik, matematik a matematický filozof | |
Narodenie | 28. apríl 1906 Brno, Rakúsko-Uhorsko |
---|---|
Úmrtie | 14. január 1978 (71 rokov) Princeton, New Jersey, USA |
Podpis | |
Odkazy | |
Commons | Kurt Gödel |
Jeho najznámejšou prácou je teorém neúplnosti (Gödelova veta, 1931), ktorý hovorí, že každý samokonzistentný systém axióm dostatočne rozvinutý na opis celočíselnej aritmetiky umožní predpoklady o celých číslach, ktoré sa nedajú ani dokázať, ani vyvrátiť na základe axióm. Tiež napísal známu prácu o hypotéze kontinua, o ktorej dokázal, že sa nedá vyvrátiť na základe axióm prijatej teórie množín, za predpokladu, že sú konzistentné. Gödel významne prispel do teórie dôkazov; objasnil spojenie medzi klasickou logikou, intuicionistickou logikou a modálnou logikou tým, že definoval prechody medzi nimi.
Diskutuje sa o tom, že Kurt Gödel je jedným z najvýznamnejších logikov dvadsiateho storočia a jedným z troch najväčších logikov všetkých čias (ostatní dvaja sú Aristoteles a Gottlob Frege).
Narodil sa v roku 1906 v Brne ako občan Rakúsko-Uhorska, po rozpade Rakúsko-Uhorska stal sa vo veku 12 rokov československým občanom. Neskôr, vo veku 23 rokov získal rakúske občianstvo a po tom čo Adolf Hitler v roku 1938 anektoval Rakúsko sa stal automaticky občanom nemeckej Ríše. Po druhej svetovej vojne a emigrácii do USA v roku 1940 získal občianstvo Spojených štátov.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.