"La démarche mathématique de Turing consiste toujours à tenter de se placer du point de vue de l'effectivité du calcul, c'est-à-dire non pas seulement du point de vue de sa simple possibilité mais des conditions pratiques de sa réalisation."

Jean Lassègue