Les 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 des fonctions pouvant être ...

Voir « récursif » sur le Wiktionnaire. Historiquement on a d'abord introduit dans les années 1920 la classe des fonctions récursives primitives, dont on s'est rapidement rendu compte qu'elle ne ...