Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2014 год, номер 4

О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. I

А.В. Бессонов1,2
1Институт философии и права СО РАН, г. Новосибирск
trt@academ.org
2Новосибирский государственный университет, г. Новосибирск
Ключевые слова: теоремы Гёделя о неполноте, неадекватность предиката доказуемости, предикат недоказуемости
Страницы: 12-31
Подраздел: Проблемы логики и методологии науки

Аннотация

Показано, что гёделево доказательство второй теоремы о неполноте формальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным.
Скачать pdf-версию статьи



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять