x 1.00
Скачать видео

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

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