La récursivité la « course en arrière », c’est un peu la quête de l’origine, le retour sur soi, une tentative d’expliquer le monde, de chercher des méthodes. Plusieurs millénaires de calculs, de  théories et de prédictions nous ont menés à imaginer et à construire l’ordinateur - la machine ultime, celle qui simule tout ce qui est simulable. En remontant aux origines théoriques de  l’ordinateur, on évoque souvent Alan Turing (1912-1954) et ses machines. Ici, nous parlerons des fonctions récursives qui calculent les mêmes choses : les fonctions récursives sont équivalentes aux machines de Turing.