Group items tagged

La machine de Turing est un modèle de machine abstrait introduit en 1936 par le chercheur anglais Alan Turing [...] il propose une réponse [...] [au] problème de la décidabilité soit en substance: existe-t-il un algorithme qui décide si un énoncé formel dans un système logique est valide ou non.

Plus d'un milliard d'ordinateurs dans le monde en 2010. Près de deux milliards annoncés en 2014. Mais qui est à l'origine de l'informatique ? L'histoire a retenu le nom d'Alan Mathison Turing (1912-1954). En effet, Turing imagina le premier système informatique moderne. L'invention ne peut pourtant pas lui être entièrement attribuée : elle est le fruit de nombreux talents conjugués.