Лекция 5. Гёделева нумерация
Лекция из курса:
Лекция 5. Гёделева нумерация
Предыдущая лекция
![](/img/hd/lecture/2020-03-05-Kuznetsov-Stepan.jpg?3602)
4
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
01:19:11
Следующая лекция
![](/img/hd/lecture/2020-03-20-Kuznetsov-Stepan.jpg?3604)
6
Лекция 6. Параметрическая Δo-полнота
01:07:15