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

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 mingis 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 [[Malemaatiline loogika|matemaatilise loogika]] arengut kui ka tekitanud hulga spekulatiivseid üldistusi (näiteks: kas lahkhelid algoritmide ajalise keerukuse vallas on tingitud sellest?)
 
Peale selle on tal 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.{{lisa viide}}1949. ''An example of a new type of cosmological solution of Einstein's field equations of gravitation''. Rev. Mod. Phys. 1949, 21 447–450. </ref>.
 
==Viited==
Anonüümne kasutaja