Utilisateur : Guilmant
Développements
Développement : Fonctions calculables en temps récursif primitif, énumérations des fonctions récursives primitives
Très peu sourcé mais relativement bien fait dans ce TD : https://www.normalesup.org/~srideau/docs/class/LogEns/Td09_corr.pdf
Il est peut être nécessaire de travailler avec d'autres notations et il est impératif de traiter la fonction d'Ackermann et de savoir qu'il existe une machine de Turing universelle. La notion de domination est nécessaire pour pouvoir obtenir un schéma $\mu$ borné et rester dans le cadre des fonction récursives primitives.
Références :