Изменения
→Теорема о примитивной рекурсивности вычислимых функций
<tex> N([L,R,S,C],t+1) = h([L,R,S,C],t+1,N([L,R,S,C],t)) </tex> , где h([L,R,S,X],y,[L1,R1,S1,C1]) = f([L1,R1,S1,C1]) </tex>
Подставим вместо <tex> t </tex> T(args) и в итоге получим что F(args) = OUT(N(IN(args),T(args))) - примитивно рекурсивная функция.
}}
