О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. I
А.В. Бессонов1,2 1Институт философии и права СО РАН, г. Новосибирск trt@academ.org 2Новосибирский государственный университет, г. Новосибирск
Ключевые слова: теоремы Гёделя о неполноте, неадекватность предиката доказуемости, предикат недоказуемости
Страницы: 12-31 Подраздел: Проблемы логики и методологии науки
Аннотация
Показано, что гёделево доказательство второй теоремы о неполноте формальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее