Alan Mathison Turing

Alan Mathison Turing, OBE, FRS (23 juin 1912 - 7 juin 1954), est un mathématicien, cryptologue et informaticien britannique, auteur, en 1936, d'un article de logique mathématique devenu plus tard un des fondements scientifiques de l'informatique.

Pour résoudre le problème fondamental de la décidabilité en arithmétique, il y présente une expérience de pensée que l'on nommera ensuite machine de Turing et des concepts de programmation et de programme1,2, qui prendront tout leur sens avec la diffusion des ordinateurs, dans la seconde moitié du xxe siècle. Avec d'autres logiciens (Church, Kleene, etc.), Turing est à l'origine de la formalisation des concepts d'algorithme et de calculabilité, qui fonderont 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.

Durant la Seconde Guerre mondiale, il joue un rôle majeur dans les recherches sur les cryptographies générées par la machine Enigma, utilisée par les armées allemandes. Ses méthodes permirent, selon plusieurs historiens, de raccourcir la capacité de résistance du régime nazi de deux ans. Après la guerre, il travaille sur un des tout premiers ordinateurs, puis contribue de manière provocatrice au débat déjà houleux à cette période sur la capacité des machines à penser, en établissant le test de Turingnote 1. Vers la fin de sa vie, il s'intéresse à des modèles de morphogenèse du vivant conduisant aux « structures de Turing ».

En 1952, un fait divers lié à son homosexualité lui vaut des poursuites judiciaires. Pour éviter la prison, il choisit la castration chimique par prise d'œstrogènes. Suicide ou accident, Turing est retrouvé mort dans la chambre de sa maison à Manchester, par empoisonnement au cyanure, le 7 juin 1954. La reine Élisabeth II le gracie à titre posthume en 2013.

...