Лекция 4. Кодирование примитивно-рекурсивных функций в PA
Лекция из курса:
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
Предыдущая лекция
3
Лекция 3. Китайская теорема об остатках
01:19:10
Следующая лекция
5
Лекция 5. Гёделева нумерация
01:25:17