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

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




Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
7 апреля 2020 г., г. Москва, online
 


Лекция 17. Примитивно рекурсивная арифметика

Л. Д. Беклемишев
Видеозаписи:
MP4 1,993.0 Mb

Количество просмотров:
Эта страница:335
Видеофайлы:72
Youtube:

Л. Д. Беклемишев




Список литературы
  1. A. Troelstra, D. van Dalen, Constructivism in Mathematics, Vol 1, Ch. 3, Section 2, 1988, 120 (PRA на базе бескванторной (пропозициональной) логики, близко к лекции)
  2. C. Smoryński, Modal Logic and Self-Reference, 1985 (PRA на базе логики первого порядка. (Сморинский допускает схему индукции для $\Sigma_1$-формул, отождествляя PRA и I $\Sigma_1$, но основное развитие проходит и для бескванторной схемы индукции))  crossref
  3. R. L. Goodstein, “Logic-free formalizations of recursive arithmetic”, Math. Scandinavica, 1954, № 2, 247–261 (Эквациональная формулировка PRA и (фактически) интерпретация в ней бескванторной PRA)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024