Les travaux d’Alan Turing sur le calcul occupent une place singulière dans l’histoire technique du XXe siècle. Ils relient la logique mathématique, le déchiffrement militaire et les premières questions formelles sur l’intelligence artificielle. Né le 23 juin 1912, le mathématicien …