Примити́вная реку́рсия, способ определения функций от натуральных аргументов с натуральными значениями. Фундаментальным свойством примитивной рекурсии является то, что при любом разумном уточнении понятия вычислимости функция , полученная из вычислимых функций и с помощью примитивной рекурсии, сама вычислимая.
Аннотация