La machine de Turing est à Nantes

http://www.festivald.net/speaker/machine-de-turing/
et une conférence

5 octobre 2015

16:00-18:00

Campus Lombarderie

Amphi Pasteur (bât.2)

Dans le cadre de la Fête de la Science 2015, Marc Raynaud viendra présenter son projet de prototype de machine de Turing à la Faculté des Sciences et des Techniques.

Une machine d'Alan Turing programmable et construite selon sa publication de 1936 : "On Computable Numbers, with an Application to the Entscheidungsproblem"

• Résumé :

Présentation d'un prototype réalisé à partir de l'article de Turing publié en 1936, et construit avec des technologies semblables à celles de cette époque. L'exposé comprendra des explications détaillées sur le passage du concept théorique à la réalisation concrète et notamment comment la phrase "The possible behaviour of the machine at any moment is determined by the m-configuration qn and the scanned symbol T(r)" a permis d'établir le plan général du schéma électrique.
La conférence comprendra aussi la méthode