Значение слова ГЕДЕЛЬ в Большом российском энциклопедическом словаре

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