Большая Советская энциклопедия - гёдель

(Gödel)

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

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978