ГЁДЕЛЬ Курт (Godel Kurt)

Гёдель Курт (28.04.1906-14. 01. 1978)-австрийский математик и логик. Родился в Брюнне. Окончил Венский университет (1930г.). В 1933-1938гг.- приват-доцент Венского университета. В 1940г. эмигрировал в США. С 1953г. - профессор Института перспективных исследований в Принстоне, член Национальной Академии Наук США и Американского философского общества. Основные труды по теории множеств, математической логике и теории относительности. Является автором теорем о невозможности полной формализации всей существующей математики и доказательства ее непротиворечивости. Результаты Геделя устанавливают непредвиденную ограниченность формальных методов. В 1951г. Гедель удостоен высшей награды США для ученых - Эйнштейновской премии.