Большая Советская энциклопедия (ГЕ)

Гёдель Курт

Гёдель (Gödel) Курт [р. 28.4.1906, Брюнн (Брно)], австрийский логик и математик. В 1933—38 приват-доцент Венского университета. В 1940 эмигрировал в США; с 1953 профессор института перспективных исследований в Принстоне. Основные труды в области математической логики, и множеств теории.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Нагель Э., Ньюмен Д. P., Теорема Гёделя, пер. с англ., М., 1970.