Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Fonction d'Ackermann :

"

D'un point de vue historique, les premiers programmeurs qui utilisaient Fortran affirmaient sans preuve[réf. nécessaire] qu'il avait la complexité des fonctions récursives. Pour y apporter une preuve, le logicien Rice a proposé en 1965 un programme en Fortran (bien sûr non récursif) qui calculait la fonction d'Ackermann[1].