Обсуждение:Генцен, Герхард

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Про "завершение" программы Гильберта

[править код]

Заявление

Тем самым он завершил выполнение программы Гильберта по формализации оснований математики.

-- натяжка. Генцен не завершил программу Гильберта, поскольку его результат лишь сводит непротиворечивость арифметики Пеано к непротиворечивости созданной им теории, которая остается недоказанной, и, более того, по теореме Геделя о неполноте не может быть доказана. Eozhik (обс.) 08:59, 13 сентября 2018 (UTC)[ответить]