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

P
 
==Teaduslikust pärandist==
Gödel oli loogik ja [[Teadusfilosoofia|teadusfilosoof]] ning tema põhilised tööd puudutasid loogikavaldkonda <ref> John W. Dawson, jr. 1996. ''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 igas 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>.
 
==Tunnustused==
23 492

muudatust