Aurélien Alvarez, "Alan 8.4, une machine de Turing universelle en Lego"

lundi 27 avr. 2026, 15:30 → 16:00 Europe/Paris

Vous l’avez sûrement vue dans la salle passerelle ces dernières semaines dans sa vitrine. Cette construction entièrement en Lego et fonctionnant à l’air comprimé a — en théorie et d’après la thèse de Church-Turing — la même puissance de calcul que le plus futuriste des ordinateurs, aussi quantique soit-il. Mais au fait, c’est quoi un calcul et que peut-on calculer ?
Dans cet exposé, nous présenterons les motivations ayant conduit au programme de Hilbert (1928) et nous verrons comment Turing a apporté en 1936 une réponse négative au « problème de la décision » de la logique des prédicats du 1er ordre. Évidemment, nous ne manquerons pas de faire fonctionner Alan 8.4 et dirons quelques mots sur comment nous l’utilisons en médiation pour parler de mathématiques et d’informatique bien sûr, mais aussi de physique (pression, force, mouvement) et d’ingénierie (engrenage, bielle-manivelle, moteur, différentiel).