Invidious

2018-2019 гг. Л.Д. Беклемишев, Ф.Н. Пахомов. Введение в теорию доказательств и ординальный анализ

 Subscribe
 RSS
МЦМУ МИАН | 26 videos | Updated 3 years ago
View playlist on YouTube | Switch Invidious Instance

1:48:17

Л.Д. Беклемишев. Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару...

МЦМУ МИАН

1:49:50

Л.Д. Беклемишев. Лекция 2. Арифметка элементарных функций EA

МЦМУ МИАН

1:34:40

Л.Д. Беклемишев. Лекция 3. Доказуемо вычислимые функции теории EA

МЦМУ МИАН

1:46:12

Л.Д. Беклемишев, Ф.Н. Пахомов. Лекция 4. Исчисление секвенций в формате Тейта и теорема...

МЦМУ МИАН

1:39:44

Ф.Н. Пахомов. Лекция 5. Теорема об устранении сечения для исчисления Тейта

МЦМУ МИАН

1:30:43

Ф.Н. Пахомов. Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях IΣ1...

МЦМУ МИАН

1:54:14

Ф.Н. Пахомов. Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях IΣ1 (Часть 2)

МЦМУ МИАН

2:14:29

Л.Д. Беклемишев. Лекция 8. Ординалы. Канторовская система ординальных обозначений для ординала ε0

МЦМУ МИАН

2:03:38

Л.Д. Беклемишев. Лекция 9. Иерархия Веблена

МЦМУ МИАН

1:56:30

Ф.Н. Пахомов. Лекция 10. Система обозначений для ординала Γ0. Доказательства трансфинитной индукции

МЦМУ МИАН

1:50:28

Ф.Н. Пахомов. Лекция 11. ω-выводы

МЦМУ МИАН

1:41:46

Ф.Н. Пахомов. Лекция 12. Лемма об ограниченности для ω-выводов и свойства Π11-ординалов теорий

МЦМУ МИАН

2:01:29

Ф.Н. Пахомов. Лекция 13. Доказуемо вычислимые функции PA, принцип Червя, схемы рефлексии

МЦМУ МИАН

1:47:48

Л.Д. Беклемишев. Лекция 14. Лемма о редукции для схем рефлексии

МЦМУ МИАН

1:46:19

Л.Д. Беклемишев. Лекция 15. Теоретико-доказательственный анализ PA с помощью схем рефлексии

МЦМУ МИАН

1:51:34

Л.Д. Беклемишев. Лекция 16. Соотношение между принципом Червя и доказуемо-вычислимыми функциями PA

МЦМУ МИАН

1:42:47

Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0

МЦМУ МИАН

1:46:07

Ф.Н. Пахомов. Лекция 18. Стандартные системы, множества Скотта и α-большие множества

МЦМУ МИАН

1:54:24

Ф.Н. Пахомов. Лекция 19. Π2-консервативность WKL0 над PRA

МЦМУ МИАН

1:44:31

Ф.Н. Пахомов. Лекция 20. α-большие множества и фундированность. Нормальные формы Π11-формул

МЦМУ МИАН

1:39:48

Ф.Н. Пахомов. Лекция 21. Нормальные формы Π11-формул. Теорема Клини о равенстве классов Δ11 и HYP

МЦМУ МИАН

25:28

Ф.Н. Пахомов. Лекция 22

МЦМУ МИАН

1:54:17

Ф.Н. Пахомов. Лекция 23. HYP, как наименьшая ω-модель теории Σ11-AC0. Теория ATR0...

МЦМУ МИАН

1:49:38

Ф.Н. Пахомов. Лекция 24. Некоторые факты о системе ATR0 . Доказательство фундированности в ATR0

МЦМУ МИАН

1:35:59

Ф.Н. Пахомов. Лекция 25. Ординальный анализ теории ACA

МЦМУ МИАН

1:46:42

Ф.Н. Пахомов. Лекция 26. Ординальный анализ теории ATR0

МЦМУ МИАН