Fonction d'Ackermann

Définition

Dans la théorie de la récursivité, la fonction d'Ackermann (aussi appelée fonction d'Ackermann-Péter) est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann. Elle est souvent présentée sous la forme qu'en a proposée la mathématicienne Rózsa Péter, comme une fonction à deux paramètres entiers naturels comme arguments et qui retourne un entier naturel comme valeur, noté en général A(m, n).

Français

fonction d'Ackermann loc. nom. fém.

fonction d'Ackermann-Péter loc. nom. fém.

Anglais

Ackermann function

Ackermann-Péter function

Source : TERMIUM Plus

Source: Wikipedia