Alan Turing

1912-1954. Le père de Turing, officier de l'administration britannique aux Indes, décida que son fils, Alan, devait être entièrement élevé en Angleterre. Alan fut donc séparé de ses parents pendant sa scolarité. Il fut admis au King's College de Cambridge en 1931. A sa sortie, tout en travaillant sur un problème de décision de Hilbert, il conçut l'idée d'une " Turing Machine ", modèle théorique d'un dispositif logique capable d'effectuer des calculs identiques aux algorithmes mathématiques, en fait un ordinateur mathématique. Cette invention attira l'attention d'Alonzo Church à Princeton : celui-ci demanda à Turing de travailler avec lui en Amérique. Turing revint en Angleterre au début de la guerre. Sa thèse de doctorat datant de 1939 étendit le théorème de Gödel par une théorie dérivée qui permit le développement des ordinateurs modernes. Il servit à l'École Nationale de Code et de Chiffre (Government Code and Cypher School) où il réussit à percer le code Enigma des Allemands contribuant ainsi à la victoire des Alliés. Après la guerre il poursuivit ses recherches en matière de conception d'ordinateurs à l'Université de Manchester. En 1952, Turing fut accusé du délit d'homosexualité ce qui ruina sa carrière. Il se suicida la même année en absorbant une pomme empoisonnée au cyanure pendant la psychanalyse qui lui avait été imposée par le tribunal. Parallèlement à Church qui pensait que tout est algorithme, c'est-à-dire que tous les processus mathématiques mécaniques peuvent être traités par une machine, Turing pensait que toute action physique y compris celle du cerveau humain peut être réduite à un programme traitable par un ordinateur.