1,0×
37 просмотров · 4 года назад
00:00/01:36:34
Описание
Кузнецов С. Л. - Математическая логика - Гёделева теория
4 года назад • 37 просмотров
0:00:10 1. Гёделева теория0:10:16 1.1 Предикат доказательства
0:16:20 1.2 Предикат доказуемости
0:20:51 1.3 Теорема о неподвижной точке
0:26:34 2. Первая теорема Гёделя о неполноте
0:33:12 3. Лемма о непротиворечивости
0:35:02 4. Вторая теорема Гёделя о неполноте
0:44:25 3.1 Доказательство леммы о непротиворечивости
0:51:01 5. Теорема Гёделя–Россера
1:06:31 5.1 Задачи
1:08:46 6. Теорема Лёба
1:20:07 7. Теорема Тарского
1:23:41 8. Теорема: Арифметика Пеано (PA) алгоритмически неразрешима
1:35:17 План на следующую лекцию