Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 7. Гёделева теория
Лекция из курса:
Математическая логика. Часть 2
Кузнецов Степан Львович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 7. Гёделева теория
Видео закончится через
NaN:NaN
00:00
00:00
00:10
Следующая секция начнется через 10:16
Гёделева теория
10:16
Следующая секция начнется через 10:16
Предикат доказательства
16:20
Следующая секция начнется через 10:16
Предикат доказуемости
20:51
Следующая секция начнется через 10:16
Теорема о неподвижной точке
26:34
Следующая секция начнется через 10:16
Первая теорема Гёделя о неполноте
33:12
Следующая секция начнется через 10:16
Лемма о непротиворечивости
35:02
Следующая секция начнется через 10:16
Вторая теорема Гёделя о неполноте
44:25
Следующая секция начнется через 10:16
Доказательство леммы о непротиворечивости
51:01
Следующая секция начнется через 10:16
Теорема Гёделя–Россера
1:06:31
Следующая секция начнется через 10:16
Задачи
1:08:46
Следующая секция начнется через 10:16
Теорема Лёба
1:20:07
Следующая секция начнется через 10:16
Теорема Тарского
1:23:41
Следующая секция начнется через 10:16
Теорема: Арифметика Пеано (PA) алгоритмически неразрешима
1:35:17
Следующая секция начнется через 10:16
План следующей лекции
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 7. Гёделева теория

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