Stamp:Prinsipi La fonsion d'Ackermann Ack:ℕ2→ℕ a l'é la fonsion definìa 'd fasson arcorsiva da
Ack(n,m)={m+1si n=0Ack(n−1,1)si m=0,n≥1Ack(n−1,Ack(n,m−1))si m≥1,n≥1.
Stamp:Fin