prochaine conférence ArmorScience

LA MACHINE DE TURING
par
Marc RAYNAUD
Professeur de mathématiques

Vendredi 14 novembre 2025 à 18:00
Salle de conférences du PÔLE PHOENIX
Route du Radome
Pleumeur Bodou

Résumé :

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 le conférencier a 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.

Le Conférencier :

Marc RAYNAUD est Professeur de mathématiques à la retraite. Maîtrise de mathématiques de l’Université Paris VI (Jussieu).

En 1981, il crée le capteur solaire Tournesol, muni d’un système de suivi automatique de la course apparente du Soleil.

En 2013, à la demande de son fils aîné, Olivier, enseignant-chercheur à l’Université Blaise Pascal, il construit un prototype électromécanique de la machine de Turing. Ce prototype est unique au monde en ce sens qu’il fonctionne réellement et qu’il est utilisé très fréquemment par des jeunes.

Vice-président de l’association Rennes en Sciences, Marc Raynaud intervient dans des universités, des grandes écoles et des lycées, où il anime des séances de découverte et de recherche en algorithmique.

Création des journées scientifiques à Saint-Grégoire dans le cadre d'un expérimentarium et animées par les membres de Rennes en sciences.