Erinevus lehekülje "Kurt Gödel" redaktsioonide vahel

recat
(recat)
 
==Teaduslikust pärandist==
Gödel oli loogik ja [[Teadusfilosoofia|teadusfilosoof]] ning tema põhilised tööd puudutasid loogikavaldkonda <ref> John W. Dawson, 1996. ''Jr. Logical Dilemmas: The Life and Work of Kurt Gödel''. AK Peters, Ltd., 1996. ISBN 978-1568810256</ref>. Laiemat huvi tekitasid tema 1931. aastal avaldatud [[mittetäielikkuse teoreemid]] <ref> Kurt Gödel, 1931. ''Über formal unentscheidbare Sätze der Principa Mathematica und verwandter Systeme. '' – Monatshefte für Mathematik und Physik, 38, 173-198. </ref>. Ühes neist väidetakse, et mingisigas formaalses süsteemis leidub alati vähemalt üks niisugune väide, mida ei saa antud süsteemi raames ei tõestada ega ümber lükata. See on oluliselt mõjutanud nii kaasaegse [[Matemaatiline loogika|matemaatilise loogika]] arengut kui ka tekitanud hulga spekulatiivseid üldistusi (näiteks: kas lahkhelid algoritmide ajalise keerukuse vallas on tingitud sellest?).
 
Peale selle on ta töötanud [[diferentsiaalgeomeetria]] ja teoreetilise [[füüsika]] vallas. Muuhulgas kirjutas ta ka ühe [[üldrelatiivsusteooria]] alase töö, mida mõned füüsikud paraku "liiga matemaatiliseks" peavad <ref> Kurt Gödel. 1949. ''An example of a new type of cosmological solution of Einstein's field equations of gravitation''. Rev. Mod. Phys. 1949, 21., lk 447–450. </ref>.
 
==Vaata ka==
 
==Viited==
{{viited}}
<references/>
 
== Kirjandus eesti keeles ==
* Piret Kuusk, "Reaalne ja ebareaalne aeg" – Akadeemia 2006, nr 4, lk 771–780
* "Märkus seose kohta [[relatiivsusteooria]] ja idealistliku filosoofia vahel". Tõlkinud [[Piret Kuusk]] – [[Akadeemia (ajakiri)|Akadeemia]] [[2006]], nr 4, lk 763–770
 
 
{{DEFAULTSORT:Gödel, Kurt}}
[[Kategooria:AustriaAmeerika teadlasedÜhendriikide filosoofid]]
[[Kategooria:MatemaatikudAmeerika Ühendriikide matemaatikud]]
[[Kategooria:FilosoofidAustria filosoofid]]
[[Kategooria:Austria matemaatikud]]
[[Kategooria:Sündinud 1906]]
[[Kategooria:Surnud 1978]]
27 264

muudatust