search
" * A K P Ё А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я г м т 
ГЕДЕЛЬ (Godel) Курт (1906-78)

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


Энциклопедический словарь естествознания 

skip_previousГЕДДА (Gedda) (наст . фам. Устинов) Николай (р. 1925)ГЕДЕНБЕРГИТ skip_next

Яндекс цитирования