Беклемишев, Л. Д. Теоремы Геделя о неполноте и границы их применимости. I [Текст] / Л. Д. Беклемишев> // Успехи математических наук. - 2010. - Т. 65, вып. 5 (395). - С. 61-106. . - Библиогр.: с. 103-106 (68 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теоремы Геделя -- Геделя теоремы -- неполнота -- недоказуемые утверждения -- алгоритмические проблемы Аннотация: Дан обзор результатов, связанных с теоремами Геделя о неполноте и границами их применимости. В первой части обсуждаются формулировки самого Геделя, а также современные усиления первой теоремы о неполноте. Сравниваются между собой различные формы и доказательства этой теоремы. Рассматриваются результаты о неполноте, связанные с алгоритмическими проблемами, и обсуждаются математически естественные примеры недоказуемых утверждений. Нет сведений об экземплярах (Источник в БД не найден) |