-=Статистика=- |
---|
Онлайн всего: 5 Гостей: 5 Пользователей: 0 |
|
Добавить в избранное
Сделать стартовой
-=Двадцать восьмое апреля=-ГЁДЕЛЬ Курт (Godel Kurt)
Гёдель Курт (28.4.1906-14. 1. 1978)-австрийский математик и логик. Родился в Брюнне. Окончил Венский университет (1930г.). В 1933-1938гг.- приват-доцент Венского университета. В 1940г. эмигрировал в США. С 1953г. - профессор Института перспективных исследований в Принстоне, член Национальной Академии Наук США и Американского философского общества. Основные труды по теории множеств, математической логике и теории относительности. Является автором теорем о невозможности полной формализации всей существующей математики и доказательства ее непротиворечивости. Результаты Геделя устанавливают непредвиденную ограниченность формальных методов. В 1951г. Гедель удостоен высшей награды США для ученых - Эйнштейновской премии.
|
|