Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church la classe des fonctions partielles récursives est exactement l'ensemble ...

On utilise ici la définition récursive de produit en prenant n =1, g identiquement nulle, h (x, z, y) = somme (y, z), composée de la fonction somme déjà définie et de deux projections. Plus ...