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