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

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




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


Лекция 18. Интуиционистская арифметика

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

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

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



Аннотация: Теория НА, принцип наименьшего числа влечет закон исключенного третьего, негативная интерпретация PA в HA, перевод Фридмана-Драгалина, замкнутость HA относительно рекурсивного правила Маркова и правила независимости посылок, консервативность PA над HA для $\forall\exists$-формул, штрих Акцеля, дизъюнктивное и экзистенциальное свойства НА.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024