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

Что такое (кто такой) "Гедель Курт"

Значение слова "Гедель Курт"

Партнеры
Большой энциклопедический словарь (БЭС) → Г → ГЕ

Гедель Курт

ГЕДЕЛЬ (Godel) Курт (1906-78), логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т.н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полно
ГЕДЕЛЬ (Godel) Курт (1906-78), логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т.н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.