Alan Turing
Période historique : XXe siècle (1912 - 1954)
Pionnier majeur de l'informatique théorique, cryptanalyste d'Enigma et précurseur de l'intelligence artificielle.
Contenu & Formulation mathématique
Genèse & Portée historique
Mathématicien et logicien britannique, Turing formalise la calculabilité universelle avec sa machine en 1936, démontrant l'indécidabilité de l'Entscheidungsproblem posé par Hilbert. Ses travaux cryptanalytiques à Bletchley Park ont joué un rôle décisif pendant la Seconde Guerre mondiale.
Persécuté pour son homosexualité par la justice britannique de l'après-guerre, Turing reçut le pardon royal posthume de la reine Élisabeth II en 2013 après une longue campagne d'hommages scientifiques.
Filiations & Relations conceptuelles (5)
Alonzo Church
Church dirigea la thèse de Turing à Princeton et formula la thèse de Church-Turing.
Ada Lovelace
Précurseure visionnaire du concept de machine algorithmique universelle concrétisé par Turing.
Machine de Turing
Modèle formel abstrait de calculabilité universelle imaginé par Alan Turing en 1936.
Kurt Gödel
L'incomplétude de Gödel a directement inspiré la machine de Turing et l'indécidabilité de l'arrêt.
Charles Babbage
La machine analytique de Babbage préfigure l'architecture logique de la machine universelle de Turing.
Objet de collection MathTCG
Alan Turing
Formalisation de la machine universelle et de la calculabilité, cryptanalyse d'Enigma, test de Turing et modélisation chimique de la morphogenèse.
Œuvres : On Computable Numbers with an Application to the Entscheidungsproblem (1936), Computing Machinery and Intelligence (1950).
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.