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