Publié le 26-06-2012
La machine de Turing en vrai
"Nous étudions le modèle de la machine de Turing en première année. Sur le papier c'est bien, mais en vrai c'est mieux !", constate l'un des étudiants un peu fou qui a assemblé ces 20 000 à 30 000 pièces (ils ne savent même plus) et ces 50 mètres de tuyaux entre septembre 2011 et mars 2012. Une machine de Turing est un modèle, proposé par son auteur en 1936, pour définir ce qu'est le calcul. Ce mathématicien a notamment démontré, grâce à cette machine théorique, que tout n'est pas calculable.
à Lire : Alan Turing, l'Héritage d'un géant
[Source : le Monde]