Kurt Gödel: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
PResümee puudub
 
3. rida: 3. rida:


==Elukäik==
==Elukäik==
Sünnilt oli Gödel sudeedisakslane, tolleaegse [[Austria-Ungari]] impeeriumi kodanik, 12-aastaselt sai temast [[Tšehhoslovakkia]] kodanik. 18-aastaselt asus Gödel Viini Ülikooli füüsikat õppima, kus ta kolmandal õppeaastal matemaatika erialale üle läks. 1923. aastal võttis Gödel endale [[Austria]] kodakondsuse, 1938. aastal, pärast Austria ühinemist Saksamaaga, sai temast Saksamaa kodanik. Vältimaks mobiliseerimist Saksa sõjaväkke, põgenes Gödel 1940. aastal läbi [[Nõukogude Liit|Nõukogude Liidu]] ja [[Jaapan]]i [[Ameerika Ühendriigid|Ameerika Ühendriikidesse]]. USA-s sai ta töökoha kuulsas [[Princetoni Ülikool|Princetoni]] perspektiivsete uuringute instituudis. 1947. aastal naturaliseerus Ameerika Ühendriikides.
Sünnilt oli Gödel sudeedisakslane, tolleaegse [[Austria-Ungari]] impeeriumi kodanik, 12-aastaselt sai temast [[Tšehhoslovakkia]] kodanik. 18-aastaselt asus Gödel Viini Ülikooli füüsikat õppima, kus ta kolmandal õppeaastal matemaatika erialale üle läks. 1923. aastal võttis Gödel endale [[Austria]] kodakondsuse, 1938. aastal, pärast Austria ühinemist Saksamaaga, sai temast Saksamaa kodanik. Vältimaks mobiliseerimist Saksa sõjaväkke, põgenes Gödel 1940. aastal [[Nõukogude Liit|Nõukogude Liidu]] ja [[Jaapan]]i kaudu [[Ameerika Ühendriigid|Ameerika Ühendriikidesse]]. USA-s sai ta töökoha kuulsas [[Princetoni Ülikool|Princetoni]] perspektiivsete uuringute instituudis. 1947. aastal naturaliseerus Ameerika Ühendriikides.


1930. aastatel ilmnesid Gödelil vaimsed kõrvalekalded, mis vahelduva intensiivsusega häirisid teda elu lõpuni. See ei seganud aga tema teaduslikku loovust.
1930. aastatel ilmnesid Gödelil vaimsed kõrvalekalded, mis vahelduva intensiivsusega häirisid teda elu lõpuni. See ei seganud aga tema teaduslikku loovust.


==Teaduspärand==
==Teaduslikust pärandist==
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>.
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>.


14. rida: 14. rida:
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.'' 21, lk 447–450</ref>.
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.'' 21, lk 447–450</ref>.


==Tunnustused==
==Tunnustus==
*1951 – [[Albert Einsteini auhind]]
*1951 – [[Albert Einsteini auhind]]
*1961 – valiti [[Ameerika Filosoofiaselts]]i liikmeks
*1961 – valiti [[Ameerika Filosoofiaselts]]i liikmeks
*1968 – valiti [[Londoni Kuninglik Selts| Londoni Kuningliku Seltsi]] välisliikmeks
*1968 – valiti [[Londoni Kuninglik Selts|Londoni Kuningliku Seltsi]] välisliikmeks


==Vaata ka==
==Vaata ka==
27. rida: 27. rida:


== Kirjandus eesti keeles ==
== Kirjandus eesti keeles ==
* [[Tarmo Uustalu]], "[[Alfred Tarski|Tarski]], Gödel ja kes neist ei järeldu" – Akadeemia [[2000]], nr 3, lk 607–625
* [[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
* 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
* "Märkus seose kohta [[relatiivsusteooria]] ja idealistliku filosoofia vahel". Tõlkinud [[Piret Kuusk]] – [[Akadeemia (ajakiri)|Akadeemia]] [[2006]], nr 4, lk 763–770

Viimane redaktsioon: 22. veebruar 2020, kell 16:05

Kurt Gödel

Kurt Friedrich Gödel (28. aprill 1906 Brno14. jaanuar 1978 Princeton) oli Austria-Ameerika loogik, matemaatik ja filosoof.

Elukäik[muuda | muuda lähteteksti]

Sünnilt oli Gödel sudeedisakslane, tolleaegse Austria-Ungari impeeriumi kodanik, 12-aastaselt sai temast Tšehhoslovakkia kodanik. 18-aastaselt asus Gödel Viini Ülikooli füüsikat õppima, kus ta kolmandal õppeaastal matemaatika erialale üle läks. 1923. aastal võttis Gödel endale Austria kodakondsuse, 1938. aastal, pärast Austria ühinemist Saksamaaga, sai temast Saksamaa kodanik. Vältimaks mobiliseerimist Saksa sõjaväkke, põgenes Gödel 1940. aastal Nõukogude Liidu ja Jaapani kaudu Ameerika Ühendriikidesse. USA-s sai ta töökoha kuulsas Princetoni perspektiivsete uuringute instituudis. 1947. aastal naturaliseerus Ameerika Ühendriikides.

1930. aastatel ilmnesid Gödelil vaimsed kõrvalekalded, mis vahelduva intensiivsusega häirisid teda elu lõpuni. See ei seganud aga tema teaduslikku loovust.

Teaduspärand[muuda | muuda lähteteksti]

Gödel oli loogik ja teadusfilosoof ning tema põhilised tööd puudutasid loogikavaldkonda [1].

Laiemat huvi tekitasid tema 1931. aastal avaldatud mittetäielikkuse teoreemid [2]. Ü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 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[3].

Tunnustus[muuda | muuda lähteteksti]

Vaata ka[muuda | muuda lähteteksti]

Viited[muuda | muuda lähteteksti]

  1. John W. Dawson, jr. 1996. Logical Dilemmas: The Life and Work of Kurt Gödel. AK Peters, Ltd., 1996. ISBN 978-1568810256
  2. Kurt Gödel, 1931. Über formal unentscheidbare Sätze der Principa Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik 38, 173-198.
  3. Kurt Gödel. 1949. An example of a new type of cosmological solution of Einstein's field equations of gravitation. Rev. Mod. Phys. 21, lk 447–450

Kirjandus eesti keeles[muuda | muuda lähteteksti]

Välislingid[muuda | muuda lähteteksti]