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

Eemaldatud 103 baiti ,  8 aasta eest
 
==Teaduslikust pärandist==
Gödel oli loogik ja [[Teadusfilosoofia|teadusfilosoof]] ning tema põhilised tööd puudutasid loogikavaldkonda <ref> KurtJohn GödelW. Dawson, 19921996. ''OnJr. FormallyLogical UndecidableDilemmas: PropositionsThe OfLife Principiaand MathematicaWork Andof RelatedKurt SystemsGödel'', tr. B.AK MeltzerPeters, withLtd., a comprehensive introduction by Richard Braithwaite1996. Dover reprint of the 1962 Basic Books edition.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.{{lisa viide}}
563

muudatust