Поиск в словарях
Искать во всех

Большой энциклопедический словарь - гедель (godel) курт

Гедель (godel) курт

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

Вопрос-ответ:

Что такое гедель (godel) курт
Значение слова гедель (godel) курт
Что означает гедель (godel) курт
Толкование слова гедель (godel) курт
Определение термина гедель (godel) курт
Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины