| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Статья из журнала
Бессонов, А. В.
О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики. I / А. В. Бессонов
// Философия науки. — 2014. — № 4 (63). - С. 12 - 31. — Лит. в примеч. в конце статьи.
О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики. I / А. В. Бессонов
// Философия науки. — 2014. — № 4 (63). - С. 12 - 31. — Лит. в примеч. в конце статьи.
URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=155646&idb=ec_110
Подробнее
Авторы: Бессонов А. В.
Аннотация: Показано, что гёделево доказательство второй теоремы о неполноте фомальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: логика, логика науки, предикат доказуемости, предикат недоказуемости, Геделя теорема о неполноте, философия математики, философия науки, формальная арифметика, формальная система
Индексы ББК: 22.12
Представления: Формат MARC21