Обсуждение:Генцен, Герхард (KQvr';yuny&Iyueyu, Iyj]gj;)

Проект «Логика» (уровень IV, важность для проекта средняя)

Эта статья тематически связана с вики-проектом «Логика», цель которого — создание и улучшение статей по темам, связанным с логикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении.

IV

Уровень статьи по шкале оценок проекта «Логика»: заготовка

Средняя

Важность статьи для проекта «Логика»: средняя

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

Заявление

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

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