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

Gödel oli loogik ja [[Teadusfilosoofia|teadusfilosoof]]. Tuntuim saavutus on tema 1931 aastal avaldatud '''''mittetäielikkuse teoreemid'''''. Ü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 füüsikud paraku „liiga matemaatiliseks“ peavad.
 
== Teosed eesti keeles ==
563

muudatust