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

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

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

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

1969—1978