Обсуждение:Генцен, Герхард
Перейти к навигации
Перейти к поиску
Проект «Логика» (уровень IV, важность для проекта средняя)
Эта статья тематически связана с вики-проектом «Логика», цель которого — создание и улучшение статей по темам, связанным с логикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении. |
Про "завершение" программы Гильберта
[править код]Заявление
Тем самым он завершил выполнение программы Гильберта по формализации оснований математики.
-- натяжка. Генцен не завершил программу Гильберта, поскольку его результат лишь сводит непротиворечивость арифметики Пеано к непротиворечивости созданной им теории, которая остается недоказанной, и, более того, по теореме Геделя о неполноте не может быть доказана. Eozhik (обс.) 08:59, 13 сентября 2018 (UTC)