Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Доказуемость и формальная арифметика
14 сентября–28 декабря 2021 г., МИАН, комн. 430 (ул. Губкина, 8) + Zoom, г. Москва

Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по ссылке: https://forms.gle/iAKoEktJ7Rw8rpQ59.


Курс посвящен введению в одну из наиболее важных формальных систем – арифметику Пеано – и доказательству некоторых относящихся к ней классических результатов. Во второй части курса изложены классические результаты Генцена, лежащие в основе структурной теории доказательств. Будут рассмотрены следующие темы:

Секвенциальное исчисление для логики предикатов. Теорема об устранении правила сечения и ее следствия: теорема Эрбрана и интерполяционная теорема Крейга. Доказуемость трансфинитной индукции для начальных отрезков ординала ε0. Недоказуемость трансфинитной индукции до ординала ε0 в арифметике Пеано (теорема Генцена). Доказуемо рекурсивные функции. Иерархия функций Харди и порожденные ей классы. Принцип Гудстейна, принципы Червя и Геракла-Гидры; их истинность и недоказуемость в арифметике Пеано.

Курс рассчитан на студентов, прослушавших вводный курс математической логики.


Расписание на осенний семестр 2021/2022 учебного года:

Время занятий: вторник 14:45 – 16:10

Первое занятие: 14 сентября


Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

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

Руководители семинара
Беклемишев Лев Дмитриевич
Яворская Татьяна Леонидовна

Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Доказуемость и формальная арифметика, г. Москва, 14 сентября–28 декабря 2021 г.

21 сентября 2021 г. (вт)
1. Лекция 2. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
21 сентября 2021 г. 14:45, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom

14 сентября 2021 г. (вт)
2. Лекция 1. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
14 сентября 2021 г. 14:45, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
Л. Д. Беклемишев, Т. Л. Яворская
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021