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