Реконструкция доказательства первой теоремы К. Геделя о неполноте
Основное содержимое статьи
Аннотация
В настоящей работе автор ставит цель восстановить строгую структуру аутентичного доказательства Первой теоремы о неполноте, принадлежащего самому Гёделю. Результатом этой работы является строгое формальное доказательство теоремы, представленное в форме, традиционной для современной символической логики.
Информация о статье
Как цитировать
Филипповский, В. (2022). Реконструкция доказательства первой теоремы К. Геделя о неполноте. Analytica, 3, 37–77. извлечено от https://www.analytica-journal.ru/index.php/analytica/article/view/22
Выпуск
Раздел
Статьи
Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.