Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Математическая логика. Часть 2
/
Лекция 7. Гёделева теория
Гёделева теория
x 1.00
Математика
Математическая логика. Часть 2
Лекция 7. Гёделева теория
Кузнецов
Степан Львович
Предыдущая лекция
Следующая лекция
00:10
Гёделева теория
10:16
Предикат доказательства
16:20
Предикат доказуемости
20:51
Теорема о неподвижной точке
26:34
Первая теорема Гёделя о неполноте
33:12
Лемма о непротиворечивости
35:02
Вторая теорема Гёделя о неполноте
44:25
Доказательство леммы о непротиворечивости
51:01
Теорема Гёделя–Россера
1:06:31
Задачи
1:08:46
Теорема Лёба
1:20:07
Теорема Тарского
1:23:41
Теорема: Арифметика Пеано (PA) алгоритмически неразрешима
1:35:17
План следующей лекции
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?
