Gödel Kurt (Kurtas Gdelis) 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

Papildoma informacija
Turinys
Bendra informacija
Straipsnio informacija
Autorius (-iai)
Redaktorius (-iai)
Publikuota
Redaguota
Siūlykite savo nuotrauką