"Alan Mathison Turing, OBE, FRS (23 juin 1912 - 7 juin 1954), est un mathématicien, cryptologue et informaticien britannique. Il est auteur de l'article fondateur de la science informatique1 qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs). Il y présente sa machine de Turing et les concepts modernes de programmation et de programme"
Alan Mathison Turing, OBE, FRS (23 juin 1912 - 7 juin 1954), est un mathématicien, cryptologue et informaticien britannique. Il est auteur de l'article fondateur de la science informatique1 qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs). Il y présente sa machine de Turing et les concepts modernes de programmation et de programme2,3. Il est également à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué cette discipline. Son modèle a contribué à établir définitivement la thèse Church-Turing qui donne une définition mathématique au concept intuitif de fonction calculable.
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.