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


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

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


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

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

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


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

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


Материалы курса
Программа экзамена
Секвенциальное исчисление Тейта
Ординалы и канторовская нормальная форма
Омега-логика
Ординалы $\Pi_1^1$-некорректных теорий
Примитивная рекурсивность перечислимых линейных порядков


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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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