Alan Turing a décrit, dans une publication de 1936, un concept d’une extrême simplicité mais fondateur dans le domaine de l’informatique : la machine de Turing. Son article avait pour objectif de modéliser rigoureusement la notion d’algorithme, et d’apporter une réponse négative au problème de la décision en logique du premier ordre, formulé en 1928 par David Hilbert et Wilhelm Ackermann. Ce modèle abstrait, conçu comme une machine universelle, est capable — en théorie — d’exécuter toute opération qu’un ordinateur moderne peut réaliser.

La construction d’une machine purement électromécanique illustre concrètement l’idée fondamentale de Turing : toute méthode effectivement calculable peut être réalisée par un mécanisme simple, exécutant des opérations élémentaires de manière systématique et déterministe.Le prototype réalisé a été conçu à partir de technologies disponibles dans les années 1930.

Une mise en fonctionnement sur des exemples simples permettra ensuite d’explorer l’étendue — souvent étonnante — des capacités de ce prototype. Utilisé dans des contextes scolaires et universitaires, il a déjà permis à plus de 6 000 jeunes de s'initier à l'algorithmique.

https://machinedeturing.com