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