Kurt Gödel: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
recat
Vagobot (arutelu | kaastöö)
P r2.7.2) (robot lisas: nn:Kurt Gödel
72. rida: 72. rida:
[[ja:クルト・ゲーデル]]
[[ja:クルト・ゲーデル]]
[[no:Kurt Gödel]]
[[no:Kurt Gödel]]
[[nn:Kurt Gödel]]
[[nov:Kurt Gödel]]
[[nov:Kurt Gödel]]
[[pms:Kurt Gödel]]
[[pms:Kurt Gödel]]

Redaktsioon: 9. jaanuar 2012, kell 13:37

Kurt Gödel Viini Ülikooli tudengina 1920. aastate keskpaigas

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

Elukäik

Sünnilt oli Gödel 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. 23-aastaselt võttis endale Austria kodakondsuse, kus peale riigi annekteerimist 1940. aastal Adolf Hitleri poolt sai temast paratamatult Saksa Reichi kodanik. Gödel tembeldati "tugevalt juudistunud matemaatikuks" ning oli sunnitud põgenema Ameerika Ühendriikidesse, mida Euroopas alanud sõja tõttu oli võimalik teha vaid läbi tollase Nõukogude Liidu ja Jaapani. USAs sai ta töökoha kuulsas Princetoni perspektiivsete uuringute instituudis.

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

Teaduslikust pärandist

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].

Vaata ka

Viited

  1. John W. Dawson, 1996. Jr. 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. 1949, 21, lk 447–450

Kirjandus eesti keeles