Kurt Gödel
Gödel Kurt (Kurtas Gdelis) 1906 04 28Brno 1978 01 14Princeton (Naujojo Džersio valstija), austrų logikas ir matematikas. Jungtinių Amerikos Valstijų nacionalinės mokslų akademijos narys (1955). Habil. dr. (1932). Vienos būrelio narys.
Išsilavinimas ir veikla
1923–29 studijavo fiziką ir matematiką Vienos universitete, 1930–38 jame dėstė. Nuo 1938 dirbo ir Perspektyviųjų tyrimų institute Princetone; profesorius (1953). 1940 emigravo į Jungtines Amerikos Valstijas.
Tyrimų sritys ir idėjos
Tyrinėjo formaliųjų sistemų neprieštaringumą. Pateikė pirmos eilės predikatų skaičiavimo semantinio pilnumo (visų teisingų loginių teiginių įrodomumo) įrodymą (Loginių funkcijų skaičiavimo aksiomų pilnumas / Die Vollständigkeit der Axiome des logischen Funktionenkalküls 1930). Suformulavo nepilnumo teoremą: kiekvienoje griežtoje matematikos loginėje sistemoje yra teiginių, kurių teisingumo ar klaidingumo neįmanoma įrodyti remiantis tos sistemos aksiomomis, todėl neįrodoma, kad ta aksiomų sistema neprieštaringa (Apie formaliai neišsprendžiamus teiginius „Principia Mathematica“ ir panašiose sistemose I / Über formal unentscheidbare Sätze der „Principia Mathematica“ und verwandter Systeme I 1931). Nuo 1942 tyrė matematikos filosofijos problemas, domėjosi bendrosios reliatyvumo teorijos matematiniais aspektais. Savo teoremomis grindė matematinį platonizmą.
Kurt Gödel
Įtaka
Remiantis K. Gödelio teoremomis šiuolaikinėje filosofijoje siekiama paneigti galimybę formalizuoti žmogaus mąstymą ir sukurti protaujančias skaičiavimo mašinas.
76