Гёдель Курт

Гёдель Курт, Курт Фридрих Гёдель (Kurt Friedrich Gödel) (28.4.1906, Брюнн, ныне Брно – 14.1.1978, Принстон, штат Нью-Джерси, США), австрийский и американский логик и математик, член Лондонского королевского общества (1968).

По окончании Венского университета (1930) работал там же (приват-доцент в 1933–1938). В 1940 г. эмигрировал в США, работал в Институте перспективных исследований в Принстоне (с 1940, профессор с 1953).

Основные труды в области математической логики и теории множеств. Теорема Гёделя о полноте (1930) утверждает, что исчисление предикатов действительно является адекватным средством для формализации любых математических теорий. Теорема Гёделя о неполноте (1931) утверждает, что в любой теории, содержащей элементарную арифметику (с операциями сложения и умножения), можно сформулировать такое утверждение, что ни оно само, ни его отрицание недоказуемо. В частности, таковым является утверждение о непротиворечивости самой рассматриваемой теории. Теорема о неполноте показывает, что реализация программы Д. Гильберта полной формализации математики встречает серьёзные трудности. После исследований Гёделя математическая логика стала самостоятельным разделом математики с большим числом приложений.