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