Un problème indécidable Indécidabilité de la récursion primitive 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 ...

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 ...