Repères chronologiques

• 1912 : Naissance dʼAlan Mathison Turing, le 23 juin, à Londres (Angleterre).
• 1931-34 : Études supérieures en mathématiques au Kingʼs College, Cambridge.
• 1935 : Élu fellow (enseignant et chercheur) du Kingʼs College. Le cours de Max Newman sur les fondements des mathématiques l'incite à travailler sur la décidabilité.
  
• 1936 : Publication de lʼarticle fondateur sur le «problème de la décision». Cet article introduit notamment ce qui sera appelé la «machine de Turing», un modèle abstrait de la notion dʼalgorithme, et la «machine de Turing universelle», un modèle abstrait des futurs ordinateurs. Il démontre également quʼil nʼexiste pas de méthode générale pour déterminer si lʼexécution dʼun algorithme se termine (ne se prolonge pas indéfiniment).
• 1937-38 : Séjour à Princeton (USA) auprès dʼAlonzo Church, inventeur dʼune autre formalisation des algorithmes, le lambda-calcul. Turing a montré que ses machines et le lambda-calcul sont équivalents. Il obtient son Ph.D. (doctorat) en 1938.
• 1939-40 : Retour à Cambridge.
• 1940-45 : Turing travaille à Bletchley Park, centre dédié au décryptage des codes secrets utilisés par lʼarmée allemande. Il réussit à décrypter le code Enigma (1940) puis le code Lorenz (1942). Ce dernier effort donnera lieu à la réalisation du calculateur Colossus.
• 1945 : Turing rejoint le National Physical Laboratory (NPL) et conçoit un calculateur électronique appelé Ace (Automatic Computing Engine).
• 1947 : Le projet Ace est retardé par des problèmes de management (il nʼaboutira quʼen 1950). Découragé, Turing repart à Cambridge.
• 1948 : Sollicité par Max Newman, Turing rejoint le laboratoire dʼinformatique de lʼuniversité de Manchester, où est réalisé lʼun des premiers calculateurs à programme enregistré, le Manchester Mark-1, qui servira de base au premier ordinateur commercial, le Ferranti Mark-1. Il contribue au logiciel de base de cette machine.
• 1948-54 : Turing travaille à Manchester sur divers problèmes : lʼintelligence artificielle, les programmes de jeu dʼechecs, la modélisation de la morphogenèse.
• 1951 : Turing est élu membre de la Royal Society (équivalent de lʼAcadémie des Sciences).
• 1952-54 : Accusé dʼhomosexualité (réprimée à lʼépoque par la loi), Turing est soumis à la castration chimique et écarté des grands projets scientifiques. Il se suicide le 7 juin 1954.

1966 : Création par lʼAssociation for Computing Machinery (société savante américaine) du prix Turing, destiné à récompenser les auteurs dʼavancées décisives en informatique. Cette distinction est considérée comme équivalente au prix Nobel.
2009 : Le premier ministre britannique présente les excuses officielles du gouvernement pour le traitement réservé à Turing en 1952.
2012 : Célébration de lʼannée Turing, pour le centenaire de sa naissance.