Kurt Gödel: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Resümee puudub
Resümee puudub
8. rida:
 
==Teaduslikust pärandist==
Gödel oli loogik ja [[Teadusfilosoofia|teadusfilosoof]] ning tema põhilised tööd puudutasid loogikavaldkonda <ref> Kurt Gödel, 1992. ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems'', tr. B. Meltzer, with a comprehensive introduction by Richard Braithwaite. Dover reprint of the 1962 Basic Books edition. </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}}
 
==Viited==
== Teosed eesti keeles ==
<references/>
* "Märkus seose kohta [[relatiivsusteooria]] ja idealistliku filosoofia vahel". Tõlkinud [[Piret Kuusk]] – [[Akadeemia (ajakiri)|Akadeemia]] [[2006]], nr 4, lk 763–770
 
== Kirjandus eesti keeles ==
* [[Tarmo Uustalu]], "[[Alfred Tarski|Tarski]], Gödel ja kes neist ei järeldu" – Akadeemia [[2000]], nr 3, lk 607–625
* Piret Kuusk, "Reaalne ja ebareaalne aeg" – Akadeemia 2006, nr 4, lk 771–780
* "Märkus seose kohta [[relatiivsusteooria]] ja idealistliku filosoofia vahel". Tõlkinud [[Piret Kuusk]] – [[Akadeemia (ajakiri)|Akadeemia]] [[2006]], nr 4, lk 763–770