313
правок
Изменения
→Примитивно рекурсивные функции
Благодаря проекторам мы можем делать следующие преобразования:
*В рекурсии не обязательно вести индукцию по последнему аргументу. Следует из того что мы можем с помощью проекторов поставить требуемый аргумент на последнее место.
== Арифметические операции на примитивно рекурсивных функциях ==
