Kurt Gödel

Allikas: Vikipeedia

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

Elukäik[muuda | redigeeri lähteteksti]

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[muuda | redigeeri 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].

Tunnustused[muuda | redigeeri lähteteksti]

Kurt Gödel valiti 1961. aastal Ameerika Filosoofiaseltsi liikmeks.

Vaata ka[muuda | redigeeri lähteteksti]

Viited[muuda | redigeeri lähteteksti]

  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[muuda | redigeeri lähteteksti]