La machine à différences

Le concept [du premier ordinateur] est d'un même mouvement la caractérisation de la notion de calcul et l'outil permettant d'explorer le domaine du calculable.

Jean Lassègue, Turing, Les Belles Lettres, 1998.