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