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 que j’ai réalisé a été conçu à partir de technologies disponibles dans les années 1930. Vous découvrirez comment ces moyens techniques ont permis de réaliser concrètement la machine qu’Alan Turing avait imaginée.
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 découvrir, de manière concrète et interactive, les fondements de l’informatique.