La définition de Récursif
Récursif se dit d'une fonction, d'un programme, d'une définition, etc..., qui s'appelle soi-même.
Les formules récursives
On considère assez souvent comme mal construites les formules qui comportent une même expression à gauche et à droite d'une relation telle que égale, se définit par, se réécrit en, etc... Par exemple, dans une définition, il est contre-indiqué d'utiliser le mot à définir à l'intérieur de la définition elle-même.
Or, l'usage d'un certain nombre de formules mathématiques (par exemple, le calcul de la factorielle d'un nombre), de fonctions, de programmes (par exemple, ceux écrits au moyen de LISP) ou de définitions, etc..., a montré que le caractère récursif peut être non seulement licite sous certaines conditions, mais encore extrêmement fécond pour la description et le calcul. On trouve des exemples de récursion dans le langage naturel.