Гёдель Курт

ГЁДЕЛЬ (Gödel) Курт [28.4.1906, Брюнн (ныне Брно) - 14.1.1978, Принстон, США], австрийский логик и математик, член Лондонского королевского общества (1968). По окончании Венского университета (1930) работал там же (приват-доцент в 1933-38). В 1940 году эмигрировал в США, работал в Институте перспективных исследований в Принстоне (с 1940, профессор с 1953). Основные труды в области математической логики и теории множеств. Теорема Гёделя о полноте (1930) утверждает, что исчисление предикатов действительно является адекватным средством для формализации любых математических теорий. Теорема Гёделя о неполноте (1931) утверждает, что в любой теории, содержащей элементарную арифметику (с операциями сложения и умножения), можно сформулировать такое утверждение, что ни оно само, ни его отрицание недоказуемо. В частности, таковым является утверждение о непротиворечивости самой рассматриваемой теории. Теорема о неполноте показывает, что реализация программы Д. Гильберта полной формализации математики встречает серьёзные трудности. После исследований Гёделя математическая логика стала самостоятельным разделом математики с большим числом приложений.

Соч.: Collected works. N. Y., 1986-1995. Vol. 1-3.