Курт Гьодел

Курт Гьодел (Kurt Gödel, 1906–1978) е австрийско-американски математик, логик и философ, смятан за един от най-значимите мислители в историята на математическата логика и основите на компютърните науки.

Най-известен със своите теореми за непълнота от 1931 г., Гьодел доказва фундаменталните ограничения на формалните аксиоматични системи. Неговите ръкописи и непубликувани бележници съдържат десетки хиляди страници математически доказателства, които съвременните модели с изкуствен интелект и системи за автоматизирано разсъждение помагат да бъдат дешифрирани.