Machine analytique

Charles Babbage décrit la machine en 1837 et continue de travailler sur les plans jusqu'à sa mort en 1871. La conception comporte tout ce qu'un ordinateur exige : une unité arithmétique qu'il appelle the mill, une mémoire nommée the store pouvant contenir mille nombres décimaux de cinquante chiffres, des entrées-sorties sur cartes perforées empruntées au métier à tisser, et — c'est décisif — des branchements conditionnels et des boucles. Elle est donc Turing-complète en tout sauf le nom.

Dans la note G de sa traduction de 1843, Ada Lovelace expose comment la machine calculerait les nombres de Bernoulli — ce qu'on appelle généralement le premier programme informatique publié. Il n'y a jamais eu de machine pour l'exécuter : la précision disponible dans les ateliers de l'époque victorienne, et l'habitude de Babbage de tout recommencer, ont fait qu'on n'en a construit que des fragments. Ce n'est qu'en 1991 que le Science Museum de Londres a construit sa machine à différences, plus simple, d'après les plans d'origine — et elle a fonctionné.