Actualités

Si vous êtes en MP et si vous avez choisi l'option informatique, vous avez peut-être entendu parler des machines de Turing. Il s'agit d'un modèle conceptuel développé par le Britanique Alan Turing (1912–1954) suite à ses travaux sur la calculabilité. On s'en sert aujourd'hui pour démontrer des propriétés fondamentales en informatique théorique. Des étudiants de l'Université d'Aarhus (Danemark) en ont construit un modèle en Lego, ce qui est aussi inutile que décalé et plaisant à voir.

Les autres actualités de 2009