Indécidabilité Nous avons vu, dans le paragraphe Limites de la récursion primitive, deux exemples de définitions récursives qui ne sont pas récursives primitives : La fonction d'Ackermann, dont on ...

La fonction d'Ackermann croît extrêmement rapidement; A(4,2) a déjà 19829 chiffres, et représente bien plus que le nombre d'atomes estimé dans l'univers. Cette extrême croissance peut être exploitée ...