Бессонов А. В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики. I / Бессонов А. В. // Философия науки. - 2014. - № 4 (63). - С. 12 - 31. - Лит. в примеч. в конце статьи.Отраслевые рубрики: математика, математическая логика Ключевые слова: логика, логика науки, предикат доказуемости, предикат недоказуемости, Геделя теорема о неполноте, философия математики, философия науки, формальная арифметика, формальная система Аннотация: Показано, что гёделево доказательство второй теоремы о неполноте фомальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным.
|