|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математическая логика, алгебра и теория чисел
Генерическая неполнота формальной арифметики
А. Н. Рыбалов Omsk State Technical University, prospekt Mira 11, Omsk 644050, Russia
Аннотация:
Famous Gödel's incompleteness theorem states that formal arithmetic (if it is consistent) has a statement that is unprovable and incontrovertible by any recursive systems of axioms. In this paper we prove that Gödel's theorem remains true if we restrict the set of all arithmetic statements by some natural subsets of “almost all” statements (so called strongly generic sets).
Ключевые слова:
formal arithmetic, generic complexity.
Поступила 10 июля 2014 г., опубликована 14 марта 2015 г.
Образец цитирования:
А. Н. Рыбалов, “Генерическая неполнота формальной арифметики”, Сиб. электрон. матем. изв., 12 (2015), 185–189
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr578 https://www.mathnet.ru/rus/semr/v12/p185
|
Статистика просмотров: |
Страница аннотации: | 251 | PDF полного текста: | 60 | Список литературы: | 35 |
|