Kurt Gödel: Rozdiel medzi revíziami
Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 |
Zav sekcie |
||
Riadok 25: | Riadok 25: | ||
* [http://cs.nyu.edu/kandathi/goedel_fom.html ''The modern development of the foundations of mathematics in the light of philosophy''] {{Webarchive|url=https://web.archive.org/web/20110411231853/http://cs.nyu.edu/kandathi/goedel_fom.html |date=2011-04-11 }}, 1961, unpublished. |
* [http://cs.nyu.edu/kandathi/goedel_fom.html ''The modern development of the foundations of mathematics in the light of philosophy''] {{Webarchive|url=https://web.archive.org/web/20110411231853/http://cs.nyu.edu/kandathi/goedel_fom.html |date=2011-04-11 }}, 1961, unpublished. |
||
== |
== Literatúra == |
||
⚫ | |||
⚫ | |||
== Externé odkazy == |
|||
⚫ | |||
*https://sciencecue.it/ruolo-kurt-godel-vita-albert-einstein/41560/ |
|||
*https://sciencecue.it/ruolo-kurt-godel-vita-albert-einstein/41560/ |
|||
⚫ | |||
== Iné projekty == |
|||
⚫ | |||
⚫ | |||
== Zdroj == |
|||
ISBN 978-8O-9O3476-9-4 |
|||
⚫ | |||
⚫ | |||
ISBN 978-8O-903476-1-8 |
|||
{{Biografický výhonok}} |
{{Biografický výhonok}} |
||
{{Teória množín}} |
{{Teória množín}} |
Aktuálna revízia z 14:09, 21. október 2023
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 |
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.
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).
Občianstvo
[upraviť | upraviť zdroj]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.
Dielo
[upraviť | upraviť zdroj]- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, 1931.
- My philosophical viewpoint Archivované 2012-09-11 na Wayback Machine, c. 1960, unpublished.
- The modern development of the foundations of mathematics in the light of philosophy Archivované 2011-04-11 na Wayback Machine, 1961, unpublished.
Literatúra
[upraviť | upraviť zdroj]- Jiří Procházka: Kurt Gödel /1906-1978/ Curriculum vitae. Volumen I, Brno, Wien, Princeton 2017, ITEM, ISBN 978-80-903476-9-4
- Jiří Procházka: Kurt Gödel /1906-1978/ Curriculum vitae, Volumen II, Brno, Wien Princeton 2019, ITEM, ISBN 978-80-903476-1-8
Iné projekty
[upraviť | upraviť zdroj]- Wikicitáty ponúkajú citáty od alebo o Kurt Gödel
- Commons ponúka multimediálne súbory na tému Kurt Gödel
Zdroj
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.