RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
27 февраля 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ
 


Теоремы об ускорении доказательств в арифметике Пресбургера

Ф. Н. Пахомов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Количество просмотров:
Эта страница:47

Аннотация: Результаты о том, что доказательства некоторых утверждений в одной системе доказательств могут быть существенно короче, чем в другой, часто называются теоремами об ускорении. Первый результат такого рода был получен К. Гёделем еще в 1936 году. Мы рассматриваем различные аксиоматизации арифметики Пресбургера - элементарной теория натурального ряда со сложением. Установлено, что для некоторых пар аксиоматизаций имеет место результат об ускорении с экспоненциальной нижней оценкой и конечной итерацией экспоненты в качестве верхней оценки.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021