Большая советсткая энциклопедия Гёдель Курт
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

Гёдель Курт

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

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

Следующие

Геденбергит (по имени швед. минералога 19 в. Л. Геденберга, L. Hedenberg), минерал из группы пироксенов. Химический состав CaFe … читать дальше



Геденштром Матвей Матвеевич (около 1780—20.9.1845, Томск), русский исследователь севера Сибири. В 1808—10 возглавлял экспедицию … читать дальше



Гедеонова способ, способ определения поправки часов в экспедиционных условиях, предложенный Д. Д. Гедеоновым в 1884. Наблюдения … читать дальше