|
Эта публикация цитируется в 10 научных статьях (всего в 10 статьях)
Теоремы Гёделя о неполноте и границы их применимости. I
Л. Д. Беклемишев Математический институт им. В. А. Стеклова РАН
Аннотация:
Дан обзор результатов, связанных с теоремами Гёделя о неполноте и границами их применимости. В первой части обсуждаются формулировки самого Гёделя, а также современные усиления первой теоремы о неполноте. Сравниваются между собой различные формы и доказательства этой теоремы. Рассматриваются результаты о неполноте, связанные с алгоритмическими проблемами, и обсуждаются математически естественные примеры недоказуемых утверждений.
Библиография: 68 названий.
Ключевые слова:
теоремы Гёделя, неполнота, доказательство, вычислимость.
Поступила в редакцию: 20.08.2010
Образец цитирования:
Л. Д. Беклемишев, “Теоремы Гёделя о неполноте и границы их применимости. I”, УМН, 65:5(395) (2010), 61–106; Russian Math. Surveys, 65:5 (2010), 857–899
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm9378https://doi.org/10.4213/rm9378 https://www.mathnet.ru/rus/rm/v65/i5/p61
|
Статистика просмотров: |
Страница аннотации: | 2458 | PDF русской версии: | 1324 | PDF английской версии: | 34 | Список литературы: | 166 | Первая страница: | 76 |
|