Кузнецов С. Л. - Математическая логика - 7. Гёделева теория

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 План на следующую лекцию