Kurt Gödel: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
10. rida:
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.''
==Tunnustused==
| |||