Cet ouvrage vise à retracer, au contact direct avec les sources, les étapes initiales décisives d’une théorie du calcul. Il propose un ensemble de vingt-quatre textes de Babbage à Matiyasevich en 1970.

Une œuvre monumentale, résultat d’un travail de plus d’une dizaine d’années.