Fonction d'Ackermann

FrançoisD

Bonsoir,

qui pourrait me dire ce que signifie "$f_m^{Ack}$" est le $m$-ième étage de la fonction d 'Ackermann ?

Merci d'avance,

F.D.

PS: je poste dans Fondements et Logique car cette question est issue d'un problème de calculabilité et de (très) grands cardinaux

Maxtimax

Bizarre que ce ne soit pas redéfini dans le contexte... "La" fonction d'Ackermann a deux variables, donc peut-être est-ce $A(m, -)$ ?

FrançoisD

Bonsoir,

j'ai été creusé la référence citée en biblio par l'auteur, ça ne m'avance guère mais je conçois que c'est horriblement compliqué.

En fait, c'est bien défini comme Ackermann:

$F_0(k)=k+1$ et $F_{n+1}(0)=F_n(1)$ et $F_{n+1}(k+1)=F_n(F_{n+1}(k))$
et là en mal de tête j'envisage le kilo de paracétamol

Est-ce qu'il te semble, cher Maxtimax, qu'on pourrait envisager de calculer $F_9(F_8(F_8(254)))$ par exemple avec de la notation fléchée de Conway par exemple???

Je vais regarder ma biblio :-)

Merci et bonne soirée,

F.D.

FrançoisD

Coucou,

je réponds à ma propre question: d'après Vikikipeudïa $F_m(k)=(2\uparrow(k+3)\uparrow(m-2))-3$

raaaah je comprends pourquoi Python aime pas :-(

merci les copains

F.D.