Рекурсивні функції: відмінності між версіями

Також досліджувались [[алгебри універсальні|алгебри]] рекурсивних функцій: на [[множина|множині]] рекурсивних функцій визначались титі чи інші операції, відносно яких множини функцій утворювали універсальні алгебри. В якості таких операцій обирались операції суперпозиції (*), додавання (+) а також операція обернення <math>f^{-1}</math> визначена схемою <math>f^{-1}(x)=\mu y(f(y)=x)</math>, та операція [[ітерація|ітерації]] ''i'', що визначається схемою <math>g(0)=0</math>, <math>g(x+1) = f(g(x))</math>. Нехай <math>s(x) = x+1</math>,