Alan Mathison Turing, né le 23 juin 1912 à Londres et mort le 7 juin 1954 à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.
Pour résoudre le problème fondamental de la décidabilité en arithmétique, il présente en 1936 une expérience de pensée que l'on nommera ensuite machine de Turing et des concepts de programmation et de programme, qui prendront tout leur sens avec la diffusion des ordinateurs, dans la seconde moitié du XXe siècle. Son modèle a contribué à établir définitivement la thèse de Church, qui donne une définition mathématique au concept intuitif de fonction calculable. Après la guerre, il travaille sur un des tout premiers ordinateurs, puis contribue au débat sur la possibilité de l'intelligence artificielle, en proposant le test de Turinga. Vers la fin de sa courte vie, il s'intéresse à des modèles de morphogenèse du vivant conduisant aux « structures de Turing ».
Durant la Seconde Guerre mondiale, il joue un rôle majeur dans la cryptanalyse de la machine Enigma, utilisée par les armées allemandes. Ses méthodes permirent de casser ce code et, selon plusieurs historiens, de raccourcir la capacité de résistance du régime nazi de deux ans et épargner la vie de quatorze millions de personnes.
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. 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. Il n'a été reconnu comme héros de guerre que 55 ans après sa mort.
Biographie
Enfance et jeunesse
Alan Turing à l'âge de 16 ans.
Alan Turing est né à Maida Vale du fonctionnaire d'administration coloniale Julius Mathison Turing et de sa femme Ethel Sarah Turing (née Stoney). À partir de l'âge d'un an, le jeune Alan est élevé par des amis de la famille Turing.
Sa mère rejoint alors son père qui était en fonction dans l’Indian Civil Service. Ils reviennent au Royaume-Uni à la retraite de Julius en 1926. Très tôt, le jeune Turing montre les signes de son génie. On relate qu'il apprit seul à lire en trois semaines2. De même, il montra une affinité précoce pour les chiffres et les énigmes.
Ses parents l'inscrivent à l'école St. Michael's à l'âge de six ans. La directrice reconnaît rapidement son talent, comme beaucoup de ses professeurs au cours de ses études au Marlborough College, sans que cela n'ait guère d'influence sur sa carrière scolaire. À Marlborough, l'enfant solitaire et introverti est confronté pour la première fois à des camarades plus âgés que lui et devient l'une de leurs têtes de turc. À 13 ans, il rejoint la Sherborne School. Son premier jour de classe ne passe pas inaperçu, la presse locale en rendant même compte. Le jour de la rentrée est celui de la grève générale de 1926, mais le jeune Turing, décidé envers et contre tout à faire sa rentrée, parcourt pour ce faire seul à bicyclette les 90 km qui séparent son domicile de son école, s'arrêtant même pour la nuit dans un hôtel3.
Le penchant de Turing pour les sciences ne lui apporte le respect ni de ses professeurs, ni des membres de l'administration de Sherborne, dont la définition de la formation mettait plus en valeur les disciplines classiques (littérature, arts, culture physique) que les sciences. Malgré cela, Turing continue de faire des prouesses dans les matières qu'il aime, résolvant des problèmes très ardus pour son âge. En 1928, il découvre les travaux d'Albert Einstein et comprend, alors qu'il a à peine 16 ans, qu'ils remettent en cause les axiomes d'Euclide et les lois de la mécanique céleste de Galilée et Newton, à partir d'un texte de vulgarisation où ces conséquences ne sont pas indiquées explicitement4.
À la Sherborne School, Turing se lie en 1927 d'une grande amitié avec son camarade Christopher Morcom, passionné de sciences et de mathématiques comme lui. Quand Morcom meurt en février 1930 des complications de la tuberculose bovine contractée après avoir bu du lait de vache infecté, Turing, bien que matérialiste et athée, n'admet pas la disparition complète d'un esprit aussi brillant. Persuadé que l'esprit de Morcom continue à exister, il décide d'incarner le destin scientifique qu'aurait dû avoir Morcom5.
Études supérieures et travaux sur la calculabilité
La salle informatique du King's College, à Cambridge, porte désormais le nom de Turing.
À cause de son manque d'enthousiasme à travailler autant dans les matières classiques que dans les matières scientifiques, Turing échoue plusieurs fois à ses examens. Il n'est admis qu'au King's College de l'université de Cambridge, alors qu'il avait demandé Trinity College en premier choix. Il étudie de 1931 à 1934 sous la direction de Godfrey Harold Hardy, mathématicien alors titulaire de la chaire sadleirienne puis responsable du centre de recherches et d'études en mathématiques. Il suit également les cours d'Arthur Eddington et, la dernière année, de Max Newman qui l'initie à la logique mathématique. En 1935, Turing est élu fellow du King's College, l'équivalent d'une bourse de thèse, grâce à sa démonstration du théorème central limite6.
En 1928, l'Allemand David Hilbert énonce le problème de la décision — connu sous le nom allemand d'« Entscheidungsproblem ») —. Pour cela il se place dans les théories axiomatiques et demande s'il est possible de trouver une méthode « effectivement calculable » pour décider si une proposition est démontrable. Pour résoudre ce problème, il faut caractériser ce qu'est un procédé effectivement calculable7. C'est ce que fait Turing dans son remarquable article de 1936, « On Computable Numbers, with an Application to the Entscheidungsproblem »8,9, en imaginant, non une machine matérielle, mais un « être calculant », qui peut être indifféremment un appareil logique très simple ou un humain bien discipliné appliquant des règles — comme le faisaient les employés des bureaux de calcul ou les artilleurs à l'époque. Dans le cours de son raisonnement, il démontre que le problème de l'arrêt d’une machine de Turing ne peut être résolu par algorithme : il n’est pas possible de décider avec un algorithme (c’est-à-dire avec une machine de Turing) si une machine de Turing donnée s’arrêtera. Bien que sa preuve ait été publiée après celle d'Alonzo Church, le travail de Turing est plus accessible et intuitif10. Il est aussi complètement nouveau dans sa présentation du concept de « machine universelle » (de Turing), avec l'idée qu'une telle machine puisse accomplir les tâches de n'importe quelle autre machine. L'article présente également la notion de nombre réel calculable. Il déduit de l'indécidabilité du problème de l'arrêt que l'on peut définir des nombres réels qui ne sont pas calculables. Il introduit les concepts de programme et de programmationb ,c.
Turing passe la plus grande partie de 1937 et de 1938 à travailler sur divers sujets à l'université de Princeton, sous la direction du logicien Alonzo Church qui a déjà encadré le travail de Stephen Kleene sur la récursivité. Il obtient en mai 1938 son Ph.D.13 de l'université de Princeton ; son manuscrit présente la notion d'hypercalcul, où les machines de Turing sont complétées par ce qu'il appelle des oraclesd, autorisant ainsi l'étude de problèmes qui ne peuvent pas être résolus de manière algorithmique. L'appellation de « machine de Turing » vient de Church, son directeur de thèse, qui l'emploie pour la première fois dans un compte-rendu du travail de son élève dans le Journal of Symbolic Logic.
Turing obtient des résultats importants sur le lambda-calcul, notamment en montrant son équivalence avec son propre modèle de calculabilité14, en inventant le combinateur de point-fixe qui porte son nom15 et en proposant la première démonstration de la normalisation du lambda calcul typé16.
De retour à Cambridge en 1939, il assiste à des cours publics de Ludwig Wittgenstein sur les fondements des mathématiques. Tous deux discutent avec véhémence et constatent leur désaccord, Turing défendant le formalisme alors que Wittgenstein pense que les mathématiques sont surestimées et qu'elles ne permettent pas de découvrir une quelconque vérité absolue.
Cryptanalyse
Réplique de la Bombe.
Fin 1938, après les accords de Munich, la Grande-Bretagne réalise le danger du nazisme, et développe ses armements. Turing fait partie des jeunes cerveaux appelés à suivre des cours de chiffre et de cryptanalyse à la Government Code and Cypher School (GC&CS). Juste avant la déclaration de guerre, il rejoint le centre secret de la GC&CS à Bletchley Park. Il y est affecté aux équipes chargées du déchiffrage de la machine Enigma utilisée par les forces armées allemandes. Ce travail profite initialement des percées effectuées par les services secrets polonais du Biuro Szyfrów17 et du renseignement français au PC Bruno, que Turing visite entre décembre 1939 et les premiers mois de 1940 et d'où il rapporte des copies des feuilles de Zygalski. Mais, en mai 1940, les Allemands perfectionnent leur système cryptographique. Turing participe aux recherches qui permettent de pénétrer les réseaux de l'armée de terre et de l'aviation. Il conçoit des méthodes mathématiques et des versions améliorées de la « Bombe » polonaise, machine électromécanique permettant d'essayer rapidement des ensembles de clés potentielles sur des blocs de communication d'Enigma. Une fois l'affaire lancée, Turing prend la tête de l'équipe chargée de trouver les clés bien plus hermétiques des réseaux de l'Enigma navale. Ces percées décisives redonnent à la Grande-Bretagne un avantage temporaire dans les batailles d'Angleterre, de Libye et de l'Atlantique.
Jusqu'au milieu des années 1970, seuls quelques anciens cryptanalystes français18 et polonais19 avaient publié quelques informations sur la lutte contre Enigma dans leurs pays respectifs ; les capacités de décryptage de Bletchley Park et l'opération Ultra restaient un secret militaire absolu en Grande-Bretagne. Puis les autorités britanniques déclassifièrent progressivement les techniques de décryptage d'Enigma jusqu'à 2000.
Codage de la voix
Turing part en 1943 pour les États-Unis, en mission de liaison avec les cryptanalystes américains. Il y découvre les progrès des technologies électroniques et conçoit une machine à coder la voix, ayant pour nom de code « Delilah »20. Il contribue à de nombreuses autres recherches mathématiques, comme celles que menait William Tutte qui aboutiront à casser le code généré par le téléscripteur de Fish construit par Lorenz et Siemens en partenariat. Cette nouvelle machine allemande, réservée au chiffrement des communications d'états-majors, est très différente du système Enigma et résiste longtemps aux attaques des cryptanalystes alliés. Ceux-ci parviennent finalement à percer les codes Fish, grâce à de nouvelles méthodes mathématiques et à de nouvelles machines, Heath Robinson puis Colossus. Cette machine, le premier grand calculateur électronique de l'histoire, fut conçue par Max Newman et construite au laboratoire de recherche des Postes de Dollis Hill par une équipe dirigée par Thomas Flowers en 1943. Contrairement à une légende, Turing n'a nullement participé à la conception de Colossus. Mais il l'a vu fonctionner, ce qui a certainement contribué à orienter Turing vers la conception d'un ordinateur après la guerre.
Cryptanalyse d'Enigma
Articles détaillés : Cryptanalyse d'Enigma et Bletchley Park.
À partir de septembre 1938, Turing travaille à temps partiel pour la Government Code and Cypher School (GC&CS). Avec le concours d'un expert en cassage de codes, Dilly Knox, il se concentre sur la cryptanalyse d'Enigma. Peu après une rencontre à Varsovie (juillet 1939) où le bureau polonais du chiffre explique aux Français et aux Britanniques le câblage détaillé des rotors d'Enigma et la méthode polonaise de décryptage des messages associés, Turing et Knox se mettent au travail sur une approche moins spécifique du problème. En effet, la méthode polonaise était fondée sur le décryptage de la clef répétée au début du message, mais cette répétition était susceptible d'être supprimée, car trop vulnérable, ce qui arriva en mai 1940. Tenus à l'écart de Bletchley Park, les cryptanalystes polonais réfugiés en Grande-Bretagne seront affectés au décryptage de codes mineurs, tandis que les services secrets français continueront à transmettre clandestinement des informations aux Alliés.
Plus générale, l'approche de Turing transforme la cryptanalyse, de technique élaborée qu'elle était depuis longtemps, en une branche des mathématiques. Il ne s'agit plus de deviner un réglage choisi parmi 159 milliards de milliards de réglages disponibles, mais de mettre en œuvre une logique fondée sur la connaissance du fonctionnement interne de la machine Enigma et d'exploiter les imprudences des chiffreurs allemands, afin de déduire le réglage de toutes les machines Enigma d'un réseau particulier pour la journée : disposition initiale des rotors (parmi 80 dispositions initiales disponibles), réglage initial des rotors (parmi 336 réglages initiaux disponibles), permutations des fiches du tableau de connexions (parmi 17 500 enfichages disponibles), etc. C'est alors que Turing rédige la première spécification fonctionnelle d'une nouvelle « bombe », machine électromécanique capable d'abattre quotidiennement le travail de dix mille personnes.
La spécification de cette « bombe » est le premier des cinq progrès majeurs dus à Turing pendant la durée de la guerre. Les autres sont : la procédure d'identification par déduction de la clef quotidienne des différents réseaux de la Kriegsmarine ; le développement d'une procédure statistique d'amélioration de l'efficacité des bombes (Banburismus (en)) ; le développement d'une procédure (« Turingerie ») de déduction des réglages des roues de la machine Lorenz SZ 40/42 ; enfin, vers la fin de la guerre, le développement d'un brouilleur de radiophonie.
Turing et Knox mènent leurs travaux à Bletchley Park, principal site de décryptage du Royaume-Uni, le Government Code and Cypher School (GC&CS). Durant le printemps 1941, Alan se rapproche de Joan Clarke, une des rares femmes cryptologue à Bletchley Park. Malgré un amour platonique qui ne dépasse jamais l'amitié, il se fiance avec elle car par devoir social, les parents de Clarke lui demandent de se marier. Turing rompt les fiançailles durant l'été après lui avoir révélé son homosexualité. Malgré cela, leurs relations restent excellentes21.
En utilisant certaines techniques statistiques en vue d'optimiser l'essai des différentes possibilités du processus de décryptage, Turing apporte une contribution innovatrice. Deux documents qu'il rédige alors (un Rapport sur les applications de la probabilité à la cryptographie et un Document sur la statistique des répétitions) ne seront déclassés et remis aux National Archives du Royaume-Uni qu'en avril 2012.
La bombe de Turing, Welchman et Pendered
Quelques semaines à peine après son arrivée à Bletchley Park, Turing rédige les spécifications d'une machine électromécanique plus efficace que la bomba polonaise. La capacité de la bombe de Turing est doublée, grâce à un autre mathématicien de Cambridge, Gordon Welchman. Encore améliorée par un espoir de Cambridge, Richard Pendered, la bombe, une fois fabriquée par les ingénieurs de la British Tabulating Company, est l'outil fondamental le plus automatisé de l'attaque des messages chiffrés par Enigma.
Au moyen d'un fragment probable de texte en clair, la bombe recherche les réglages corrects possibles utilisés pour 24 heures par chaque réseau allemand (ordre des rotors, réglages des rotors et enfichage du tableau de connexions). Pour chaque réglage possible des rotors, la bombe effectue électriquement une chaîne de déductions logiques fondées sur les mots probables. À chaque occurrence d'une contradiction, la bombe écarte ce réglage et passe au suivant. La plupart des réglages essayés provoquent des contradictions, ils sont alors rejetés et ceux qui restent, peu nombreux, sont alors examinés de près.
Pendant presque toute la durée de la guerre, ce procédé permet de déchiffrer une grande partie des messages Enigma de la Luftwaffe dont les chiffreurs multiplient les négligences. Comme l'aviation coopère étroitement avec les deux autres armées (mer et terre), la GC&CS obtient par ce biais des renseignements sur l'ensemble des activités de la Wehrmacht. Cependant, l'interprétation des messages une fois déchiffrés pose souvent de tels problèmes à l'état-major qu'ils ne peuvent être qu'en partie exploités. Ce sera le cas du plan d'invasion de la Crète22.
La Hut 8 et l'Enigma navale
Affecté à la Hut 8 (bâtiment préfabriqué no
, Turing décide de traiter un problème autrement difficile, la cryptanalyse d'Enigma navale : « Parce que personne d'autre ne s'en occupait et que je pouvais l'avoir pour moi tout seul ». La même nuit, il conçoit le Banburismus (en), technique statistique appelée plus tard analyse séquentielle par Abraham Wald, dans l'espoir de percer l'Enigma navale : « Pourtant je n'étais pas sûr que cela marcherait en pratique ». Dans cette idée, il invente une mesure de poids de la preuve qu'il baptise le « Ban ». Les Banburismes peuvent écarter certaines séquences des rotors Enigma, c'est un gain de temps important. Cependant, les chiffreurs de la Kriegsmarine, en particulier les sous-mariniers, appliquent sans faille toutes les consignes de sécurité. Les messages de l'Enigma navale ne sont décryptés que pendant les périodes couvertes par les manuels ou grâce aux feuilles de bigrammes capturés par les Alliés.
En novembre 1942, Turing se rend aux États-Unis où, avec des cryptanalystes de l'US Navy, il travaille sur l'Enigma navale et à la conception de « bombes ». À Dayton (Ohio), il visite l'United States Naval Computing Machine Laboratory. Les « bombes » à l'américaine n'éveillent pas son enthousiasme. Pourtant, c'est l'extraordinaire puissance de la combinaison des centaines de « bombes » construites grâce aux moyens de l'industrie américaine qui, finalement, permet de percer à nouveau les secrets d'Enigma, spécialement ceux de la Kriegsmarine et des U-Boot. À partir de la fin 1943, les sous-marins allemands auront été pour l'essentiel soit détruits, soit chassés de l'Atlantique-Nord par la puissance des marines de guerre alliées, combinant les renseignements d'origine Ultra, les reconnaissances aéronavales, la détection par radar, par écho-sondeur Asdic, la localisation par radiogoniométrie, et bien entendu grâce au nombre des navires engagés et à l'endurance des marins.
En mars 1943, Turing revient à Bletchley Park. En son absence, son adjoint Hugh Alexander avait officiellement pris la fonction de directeur de la Hut 8, qu'il avait de fait toujours exercée, Turing n'ayant pas d'intérêt pour la direction. Turing devient consultant en cryptanalyse au profit de l'ensemble de la GC&CS. À propos du rôle de Turing, Alexander dit :
« Il n'est pas permis de douter que les travaux de Turing furent le facteur le plus important du succès de la Hut 8. Au départ, il fut le seul cryptographe à penser que le problème valait d'être abordé et non seulement lui revient le mérite de l'essentiel du travail théorique de la Hut 8, mais encore il partage avec Gordon Welchman et Harold Keen le mérite de l'invention de la bombe électromécanique. Il est toujours difficile de dire que tel ou tel est absolument indispensable, mais si quelqu'un fut indispensable à la Hut 8, ce fut Turing. Le travail de pionnier tend toujours à être oublié quand par la suite tout paraît plus facile, sous l'effet de l'expérience et de la routine. »
Travail sur les premiers ordinateurs
En 1945, pendant son séjour à Ebermannstadt, les deux bombes atomiques américaines sont lâchées sur le Japon et il n’en est pas surpris : il connaissait, depuis son voyage secret aux États-Unis de 1942-1943, l'existence du projet à Los Alamos dans des proportions non encore élucidées23.
De 1945 à 1947, il travaille au National Physical Laboratory, situé à Teddington au Royaume-Uni. Fin 1945, après avoir lu le rapport Von Neumann qui décrit la structure générale d'un ordinateur et discute des méthodes de programmation, Turing rédige ce qui est sans doute le premier projet détaillé d'un ordinateur : l'ACE (Automatic Computing Engine). Toutefois, il ne parvient pas à s'entendre avec les ingénieurs électroniciens du NPL chargés de construire cette machine, qui soulèvent des objections techniques et préfèrent commencer par un prototype plus modeste. Le projet rencontre d'ailleurs des obstacles administratifs et budgétaires. Turing, trop individualiste pour être un organisateur ou un grand négociateur, préfère partir en 1947 suivre des cours de biologie à Cambridge. À la rentrée 1948 il est appelé par Max Newman, son ancien professeur de logique à Cambridge et collègue à Bletchley Park, à l'université de Manchester où Max Newman, inspiré lui aussi par le rapport Von Neumann, dirige le développement de l'un des tout premiers véritables ordinateurs : Manchester Mark I, industrialisé ensuite par la firme Ferranti. Turing devient directeur adjoint du laboratoire de calcul de l'université de Manchester (titre sans grande signification), et travaille à la programmation de l'ordinateur.
Lors de la conférence marquant l'inauguration de l'ordinateur EDSAC, à Cambridge, il présente une méthode de preuve de correction de programmes fondée sur des assertions24 qui préfigure la méthode connue sous le nom de « méthode de Floyd-Hoare ».
Sportif accompli, en 1948, Turing termine quatrième au marathon de l'Association des athlètes amateurs (AAA Marathon, dont les meilleurs coureurs sont généralement qualifiés pour les Jeux olympiques) en 2 h 46 min 3 s, un très bon temps. Blessé à une jambe, Turing cessera de courir sérieusement à partir de 1950e.
Vers l'intelligence artificielle : le test de Turing
Turing continue parallèlement ses réflexions fondamentales réunissant la science et la philosophie. Dans l'article « Computing Machinery and Intelligence » (Mind, octobre 1950), Turing explore le problème de l'intelligence artificielle et propose une expérience maintenant connue sous le nom de test de Turing, où il tente de définir une épreuve permettant de qualifier une machine de « consciente » ; Turing fait le « pari que d'ici cinquante ans, il n'y aura plus moyen de distinguer les réponses données par un homme ou un ordinateur, et ce sur n'importe quel sujet25. »
En mai 1952, Turing écrit un programme de jeu d'échecs. Ne disposant pas d'un ordinateur assez puissant pour l'exécuter, il simule les calculs de la machine, mettant environ une demi-heure pour effectuer chaque coup. Une partie est enregistrée, où le programme perd contre un collègue de Turing.
Le programme de Joe Weizenbaum, ELIZA, écrit en 1966 et qui ne prend pas plus de trois pages de langage SNOBOL, sera le premier à donner l'illusion pendant quelques minutes de satisfaire au test de Turingf.
Morphogenèse
En 1952, Turing s'est intéressé à une autre branche des mathématiques : l'analyse, et, à partir de l'équation de réaction-diffusion, a élaboré un modèle biomathématique de la morphogenèse, tant chez l'animal que chez le végétal. Il fait paraître un article, « The Chemical Basis of Morphogenesis » (Philosophical Transactions of the Royal Society , août 1952), où il propose trois modèles de formes (Turing patterns). Dans les années 1990, des expériences de chimie viendront confirmer expérimentalement les modèles théoriques de Turing.
Condamnation
Plaque commémorative au pied de sa maison.
De Cambridge à Bletchley Park, Turing ne faisait aucun mystère de son orientation sexuelle ; ouvertement homosexuel, il ne cachait pas ses aventures. Il était d'ailleurs loin d'être le seul27,28. En 1952, sa maison de Manchester est cambriolée. Turing porte plainte. Arrêté, le cambrioleur dénonce le complice qui lui avait indiqué l'affaire, un ex-amant occasionnel de Turing. Celui-ci ne nie pas cette ancienne relation. Tous deux sont inculpés d'« indécence manifeste et de perversion sexuelle » d'après la Criminal Law Amendment Act (1885)29. Quelques années plus tôt, ce n'aurait été qu'un fait divers. Mais, au début des années 1950, une affaire retentissante d'espionnage scientifique au profit de l'Union soviétique où sont impliqués des intellectuels anglais homosexuels surnommés les Cinq de Cambridge a rendu les services de contre-espionnage britanniques et américains sensibles à un profil comme celui de Turing30.
Le procès est médiatisé. Hugh Alexander fait de son confrère un brillant portrait, mais il est empêché de citer ses titres de guerre par le Secret Act. Turing est mis en demeure de choisir : incarcération ou castration chimique réduisant sa libido31. Il choisit le traitement, d'une durée d'un an, avec des effets secondaires temporaires (le coureur à pied svelte qu'il était devient gros, impuissant, ses seins grossissent comme ceux d'une femme), et surtout des effets psychiques profondément démoralisants32. Alors qu'il a été consacré, en 1951, en devenant membre de la Royal Society, à partir de 1952 il est écarté des plus grands projets scientifiques. Toutefois, en avril 1953, la « cure » se termine, ses effets s'estompent et Turing recommence à faire des projets de recherche, de voyages en France et en Méditerranée33.
Mort
Le 8 juin 1954, Turing est retrouvé mort dans son lit, avec une pomme croquée sur sa table de nuit. L'autopsie conclut à un suicide par empoisonnement au cyanure, même si sa mère tenta d'écarter cette thèse. Le moyen d'ingestion du poison aurait été cette pomme qu'il aurait partiellement mangée (une légende tenace et démentie y voit l'origine du logo de la firme Apple34,35), et qui aurait été préalablement imbibée de cyanure ; il n'existe pas de certitude à cet égard, la pomme n'ayant pas été analysée36,37. Le biographe de Turing, Andrew Hodges, a émis l'hypothèse que Turing aurait choisi ce mode d'ingestion précisément afin de laisser à sa mère la possibilité de croire à un accident38, sachant que les pépins de pomme contiennent naturellement du cyanure mais en quantité trop faible cependant pour avoir un effet toxique. Nombreux sont ceux qui ont souligné le lien entre sa méthode de suicide présumée et le film Blanche-Neige et les Sept Nains, dont il avait particulièrement apprécié la scène où la sorcière empoisonne la pomme, au point de chantonner régulièrement les vers prononcés par celle-ci : « Plongeons la pomme dans le chaudron, pour qu'elle s'imprègne de poison37,39 ». Toutefois, Jack Copeland, spécialiste de Turing, estime que la mort de celui-ci est accidentelle. Il avance les arguments suivants : Turing ne montrait aucun signe de dépression et, peu avant sa mort, avait noté des projets par écrit ; il avait l'habitude de faire des expériences chimiques et détenait du cyanure à cette fin ; il lui arrivait d'être imprudent dans ces expériences, goûtant par exemple des produits pour les identifier. Il aurait pu également inhaler accidentellement une solution cyanurée qu'il utilisait pour dissoudre de l'or ; c'est de cette façon que, pour Copeland, il aurait ingéré ou inhalé une dose mortelle de cyanure40.
Œuvres
The Turing Digital Archive [archive] (en), dirigé Jack Copeland, contient toute son œuvre publiée ou non publiée mais accessible en ligne.
Collected Works of Alan Mathison Turing
(en) Mechanical intelligence, North-Holland, 1992 (ISBN 9780444880581, OCLC 21563576)
(en) Morphogenesis, North-Holland, 1992 (ISBN 9780444884862, OCLC 24429931)
(en) Pure mathematics, North-Holland, 1992 (ISBN 9780444880598, OCLC 21600975)
(en) Mathematical logic, Elsevier Science, 2001 (ISBN 9780444504234, OCLC 162578313)
Alan Turing, Jean-Yves Girard, La machine de Turing, Éditions du Seuil, 1995 [détail des éditions] traduction en français de deux articles de Turing, On Computable Numbers with an Application to the Entscheidungsproblem (1936) et Computing machinery and intelligence (1950), avec une introduction et des articles sur les mêmes sujets de Jean-Yves Girard.
(en) Alan Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, 1937 (ISSN 0024-6115 et 1460-244X, DOI 10.1112/PLMS/S2-42.1.230, lire en ligne [archive])Voir et modifier les données sur Wikidata et « [idem] : A Correction », Proc. London Math. Soc., 2e série, vol. 43, 1938, p. 544-546 (DOI 10.1112/plms/s2-43.6.544, lire en ligne [archive]).
(en) Alan Turing, « Computing machinery and intelligence », Mind, Oxford University Press, vol. 59, no 236, octobre 1950 (lire en ligne [archive] [PDF]).
Alan Turing, Précis sur les nombres calculables. Copie dactylographiée du premier brouillon réalisée par Madame Turing pour les Comptes rendus de l'Académie des sciences « Lire en ligne » [archive].
Postérité
Statue d'Alan Turing à Manchester.
La première biographie qui lui est consacrée, Alan Turing : the enigma d'Andrew Hodges, n'apparaît qu'en 1983. Sa réhabilitation ne commence que dans les années 2000 qui le voient honoré de plaques commémoratives, statues, timbres à son effigie.
Réhabilitation
En 2009, une pétition, émise à l'initiative de l'informaticien John Graham-Cumming, est envoyée au Premier ministre Gordon Brown : « Nous soussignés demandons au Premier ministre de s'excuser pour les poursuites engagées contre Alan Turing qui ont abouti à sa mort prématurée41 ». En septembre 2009, celui-ci a présenté des regrets au nom du gouvernement britannique42. Cependant, le ministre de la justice Tom McNally (en) exprime en février 2012 son refus de revenir sur la condamnation. Celle-ci, bien que paraissant aujourd'hui « cruelle et absurde », a été rendue en fonction des lois de son temps. « Une grâce posthume n'a pas été jugée appropriée car Alan Turing a été justement reconnu coupable de ce qui était, à l'époque, une infraction pénale43,44 ». En décembre 2012, un groupe de onze scientifiques britanniques, dont le physicien Stephen Hawking, appelle le gouvernement britannique à annuler sa condamnation, à titre posthume45,46.
Le 24 décembre 2013, la reine Élisabeth II le gracie en signant un acte royal de clémence, sur proposition du secrétaire d'État à la Justice Chris Grayling qui déclare que c'était une condamnation « que nous considérerions aujourd'hui comme injuste et discriminatoire46 ». C'est la quatrième fois depuis 1945 que la prérogative royale de pardon s'exerce47,48.
Hommages
Depuis 1966, le prix Turing (Turing Award en anglais) est annuellement décerné par l’Association for Computing Machinery à des personnes ayant apporté une contribution scientifique significative au domaine de la recherche informatique. Cette récompense est souvent considérée comme l'équivalent du prix Nobel d'informatique.
En février 2011, au terme d'une vente aux enchères, des documents rédigés par Turing durant la Seconde Guerre mondiale sont acquis par le musée de Bletchley Park avec l'aide du National Heritage Memorial Fund afin d'éviter leur départ à l'étranger49.
En 2012, diverses manifestations ont été organisées pour le centenaire de la naissance d'Alan Turing50.
Œuvres de fiction
Littérature
1995 : Robert Harris, Enigma, Pocket, 1997. Thriller inspiré de la biographie du mathématicien.
2009 : David Lagercrantz, Indécence manifeste, Actes Sud, 2016. Roman sur la vie de Turing.
2015 : Laurent Alexandre et David Angevin, L'Homme qui en savait trop. Roman de science-fiction sur la vie de Turing, Robert Laffont.
2016 : Emmanuel Carrère, Vie abrégée d'Alan Turing, Revue de littérature générale, 1995 in Il est avantageux d'avoir où aller, POL.
2016 : Jean-Marc Lévy-Leblond (sous la direction de), Lettres à Turing, Thierry Marchaisse51.
Théâtre
1986 : Hugh Whitemore, Breaking the Code (en), adaptation de la biographie de Andrew Hodges. La pièce est montée à Londres, puis à Broadway52.
Radio
Plusieurs émissions de la station France Inter ont été consacrées à Alan Turing :
Le 11 mars 2012 : Alan Turing, la probabilité des pommes par Patrick Liegibel et Stéphanie Duncan dans l'émission Au fil de l'histoire53.
Le 1er mai 2013 : Alan Turing : une vie, un héritage par Mathieu Vidard dans l'émission La Tête au carré54.
Le 25 janvier 2014 : Alan Turing par Patrick Pesnot dans l'émission Rendez-vous avec X55.
Plusieurs émissions de la station France Culture consacrées à Alan Turing :
Le 14 janvier 2012 : Alan Turing par Matthieu Garrigou-Lagrange dans l'émission Une vie, une œuvre56.
Le 25 avril 2012 : Centenaire d'Alan Turing par Caroline Broué dans l'émission La Grande Table57.
Le 9 février 2013 : Sésame ouvre-toi : des codes depuis toujours ? par Jean-Noël Jeanneney dans l'émission Concordance des temps58.
Le 23 juin 2016 : Cher Alan Turing par Aurélie Luneau dans l'émission La Marche des sciences59.
Télévision
1991 : The Strange Life and Death of Dr Turing, docudrama réalisé par Christopher Sykes pour l'émission Horizon de la BBC
1996 : Breaking the Code, téléfilm britannique réalisé par Herbert Wise, adaptation de la biographie d'Andrew Hodges
2011 : Britain's Greatest Codebreaker, docufiction réalisé par Clare Beavan et diffusé par Channel 460
2012 : Le Modèle Turing, documentaire réalisé par Catherine Bernstein61 et produit par CNRS Images62
2014 : La Drôle de guerre d'Alan Turing, documentaire réalisé par Denis van Waerebeke63
Cinéma
1982 : Enigma, film franco-britannique réalisé par Jeannot Szwarc
2000 : U-571, film américain réalisé par Jonathan Mostow
2001 : Enigma, film américano-germano-britannique réalisé par Michael Apted, adaptation du thriller de Robert Harris
2011 : The Turing Enigma, film britannique réalisé par Pete Wild
2014 : Imitation Game (The Imitation Game), film américano-britannique réalisé par Morten Tyldum, adaptation de la biographie d'Andrew Hodges, avec Benedict Cumberbatch dans le rôle de Turing
2016 : L'enigma di Turing, film italien réalisé par Orfeo Orlando
Bande dessinée
2015 : Le Cas Alan Turing, bande dessinée d'Éric Liberge et Arnaud Delalande, Les Arènes BD, 96 pages (ISBN 978-2-352-04448-2).
Un manuscrit de 1942 vendu aux enchères
Le lancement de plusieurs documentaires et films de fiction ayant attiré l'attention sur la personnalité de Turing, un cahier de 56 pages contenant un manuscrit de Turing datant de 1942 a été vendu chez Bonhams, à New York, le 13 avril 2015, pour plus d'un million de dollars. Il comprend des réflexions sur la notation de Leibniz. Turing avait légué ses papiers au mathématicien Robin Gandy, un ami proche, qui a utilisé le cahier pour un journal intime sur des pages non utilisées, et l'a pour cette raison retiré des papiers de Turing qu'il a confiés au King's College à Cambridge. Il est presque certain qu'il est, actuellement, le seul manuscrit autographe de quelque importance de Turing en circulation64,65.
Annexes
Sur les autres projets Wikimedia :
Alan Turing, sur Wikimedia Commons Alan Turing, sur Wikiquote
Bibliographie
Document utilisé pour la rédaction de l’article : document utilisé comme source pour la rédaction de cet article.
Bibliographie Alan Turing, BNF [archive] (7 pages) - BUEvry [archive] (12 pages) [PDF]
(en) Stephen Cole Kleene, Introduction to Metamathematics, Amsterdam, North-Holland, 1952, x+550 p. (SUDOC 005505526, présentation en ligne [archive]) — Nombreuses réimpressions, en 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000, 2009 notamment par Wolters-Noordhoff (Groningen) (ISBN 0720421039), d'après la notice Sudoc. Nombreuses traductions.
(en), (fr) Stephen Cole Kleene, Mathematical Logic, Dover, 1967 — Réimpression Dover reprint, 2001, (ISBN 0-486-42533-9). Traduction française par Jean Largeault, Logique mathématique, Armand Colin, 1971 et Gabay 1987 (ISBN 2-87647-005-5).
Jean Lassègue, Turing, Paris, Les Belles lettres, 1998 (ISBN 9782251760148)
Voir Paul Jorion, « Turing, ou la tentation de comprendre », L’Homme [En ligne], no 153, janvier-mars 2000 (lire en ligne [archive])
(en) F. H. Hinsley et Alan Stripp, Codebreakers : the inside story of Bletchley Park, Oxford England/New York, Oxford University Press, 2001 (ISBN 9780192801326, présentation en ligne [archive])
Jean Lassègue, « Les Génies de la science », Pour la Science, no 29 « Turing… et l’informatique fut », novembre 2006 - janvier 2007 (ISBN 978-2-84245-078-6, lire en ligne [archive])
Jean-Marc Lévy-Leblond (sous la direction), Lettres à Turing, Paris, Thierry Marchaisse, 242 p. (ISBN 978-2-36280-097-9, présentation en ligne [archive])
Andrew Hodges (trad. Nathalie Zimmerman), Alan Turing ou l'énigme de l'intelligence, Paris, Payot, coll. « Bibliothèque scientifique », 2004.
Édition complétée : Alan Turing, Michel Lafon, 2015 (ISBN 978-2-7499-2433-5)
(en) Hugh Sebag-Montefiore, Enigma : the battle for the code, Londres, Cassell Military, 2004 (ISBN 9780304366620)
John Keegan, Intelligence at War, Pimlico, 2004.
Laurent Lemire, Alan Turing : l'homme qui a croqué la pomme, Paris, Hachette Littératures, 2004, 191 p. (ISBN 9782012356184)
David Leavitt (trad. Julien Ramonet), Alan Turing, l'homme qui inventa l'informatique [« The Man Who Knew Too Much; Alan Turing and the invention of the computer »], Paris, Dunod, 2006 (réimpr. 2007), 273 p. (ISBN 978-0-7538-2200-5 et 978-2100503575)
(en) Michael Smith, The emperor's codes : the breaking of Japan's secret ciphers, Londres, Dialogue, 2010 (ISBN 9781906447120)
(en) Michael Smith, The secrets of Station X : how the Bletchley Park codebreakers helped win the war, Londres, Biteback Pub, 2011 (ISBN 9781849540957)
(en) Sinclair McKay, The secret life of Bletchley Park : the WWII codebreaking centre and the men and women who worked there, Londres, Aurum Press, 2011 (ISBN 9781845136338)
(en) Andrew Hodges et Douglas Hofstadter, Alan Turing : The Enigma, Princeton University Press, 2012, 586 p. (ISBN 9780691155647, lire en ligne [archive]).
Sinclair McKay (en), Les Casseurs de codes de la Seconde Guerre mondiale (The Secret Lives of Codebreakers: The Men and Women Who Cracked the Enigma Code at Bletchley Park), Ixelles, 2013.
Cédric Villani et Edmond Baudoin, Les rêveurs lunaires : quatre génies qui ont changé l'histoire (Biographie), Paris, Gallimard Grasset, 2015 (ISBN 978-2-070-66593-8, OCLC 905911777)
Articles connexes
Machine de Turing
Oracle (machine de Turing)
Machine de Turing non déterministe
Machine de Turing universelle
Test de Turing
CAPTCHA
ELIZA
Liens externes
Notices d'autoritéVoir et modifier les données sur Wikidata : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France (données) • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • Bibliothèque nationale de la Diète • Bibliothèque nationale d’Espagne • Bibliothèque royale des Pays-Bas • Bibliothèque nationale d’Israël • Bibliothèque universitaire de Pologne • Bibliothèque nationale de Catalogne • WorldCat
Espace-turing [archive] (patrimoine, mathématiques, informatique, calcul scientifique) - Laboratoire de mathématiques J.A. Dieudonné [archive] (CNRS - UNS)
Expérience Numérique Interactive en ligne des structures de Turing, CNRS [archive]
Alan Turing, Bibliothèque Nationale de France [archive]
Notes et références
Notes
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Alan Turing » (voir la liste des auteurs).
↑ Ces questions sont discutées dans l'article philosophie de la technique.
↑ « The fact that all standard programming languages express precisely the class of partial recursive functions is often summarized by the statement that all programming languages are Turing complete11 ».
↑ « A programming language is a language that is intended for the expression of computer programs and that is capable of expressing any computer program. This is not a vague notion. There is a precice theorical way of determining whether a computer language can be used to express any program, namely, by showing that is equivalent to a universal Turing machine12 ».
↑ La notion d'« oracle » est déjà présentée sans être exploitée dans son article original On computable numbers.
↑ « Je lui ai demandé un jour pourquoi il se punissait autant par l'entraînement. Il m'a dit : « Mon métier est si stressant que mon seul moyen de le chasser de mon esprit est de courir à fond. C'est le seul moyen pour moi de relâcher la pression ». » (« I have such a stressful job that the only way I can get it out of my mind is by running hard; its the only way I can get some release »), rapporte J.-F. Harding, secrétaire du Walton Athletic Club, cité par le magazine Runner’s World (septembre 1999).
↑ « Eliza fut tellement convaincant que certains chercheurs l’imaginaient déjà passer le test de Turing avec succès26 »…
Références
↑ (en) « The Alan Turing Internet Scrapbook » [archive], sur turing.org (consulté en juin 2017).
↑ François Clarac, Encyclopédie historique des neurosciences : Du neurone à l'émergence de la pensée, De Boeck, 2008, 1009 p. (ISBN 2-8041-5898-5 et 978-2-8041-5898-9, lire en ligne [archive]), p. 948 ; Hodges et Hofstadter 2012, p. 7.
↑ Hodges et Hofstadter 2012, p. 20-21.
↑ Hodges et Hofstadter 2012, p. 33.
↑ (en) Christof Teuscher, Alan Turing : Life and Legacy of a Great Thinker, Springer, 2004, p. 19-22.
↑ Olivier Hudry, « Machine de Turing et complexité algorithmique », dans Michel Serfati (dir.), De la méthode : recherches en histoire et philosophie des mathématiques, PUFC, coll. « Colloques et séminaires », 2002 (ISBN 2-8486-7000-2, lire en ligne [archive]), p. 178
↑ Olivier Hudry 2002, p. 180
↑ (en) Alan Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, 1937 (ISSN 0024-6115 et 1460-244X, DOI 10.1112/PLMS/S2-42.1.230, lire en ligne [archive])Voir et modifier les données sur Wikidata et « [idem] : A Correction », Proc. London Math. Soc., 2e série, vol. 43, 1938, p. 544-546 (DOI 10.1112/plms/s2-43.6.544, lire en ligne [archive])
↑ Précis on Computable numbers made for Comptes rendus [archive], annonce des résultats écrits en français pour les Comptes rendus de l'Académie des Sciences.
↑ « L'héritage d’Alan Turing », CNRS Le journal, mai 2012, p. 9-10 (lire en ligne [archive] [PDF])
↑ (en) John C. Mitchell, Concepts in programming languages, Cambridge University Press, 2003 (lire en ligne [archive]), p. 14.
↑ (en) Bruce J. MacLennan, Principles of Programming Languages, Oxford University Press, 1999, p. Introduction : What is a programming language?.
↑ Turing A. M., 1939, Systems of logic defined by ordinals, Proc. Lond. Math. Soc., ser. 2, 45: 161-228; aussi in (Davis 1965) et in (Gandy et Yates 2001). Cet article reprend sa thèse de doctorat.
↑ (en) Alan M. Turing, « Computability and λ-Definability », J. Symb. Log., vol. 2, no 4, 1937, p. 153-163.
↑ (en) Alan M. Turing, « The þ-Function in λ-K-Conversion », J. Symb. Log., vol. 2, no 4, 1937, p. 164
↑ (en) M. H. A. Newman et Alan M. Turing, « A Formal Theorem in Church's Theory of Types », J. Symb. Log., vol. 7, no 1, 1942, p. 28-33.
↑ Elisabeth Rakus-Andersson, The Polish Brains Behind the Breaking of the Enigma Code Before and During the Second World War, in Christof Teuscher (Ed.) Alan Turig: Life and Legacy of a Great Thinker, Springer, (2004)
↑ Gustave Bertrand, Enigma: ou, La plus grande énigme de la guerre 1939-1945, Plon (1973).
↑ Marian Rejewski, How Polish Mathematician deciphered the Enigma, Annals of the History of Computing 3, p. 229-234, (1981)
↑ (en) Andrew Hodges, Alan Turing : the enigma, London, Burnett Books, 1983, 587 p. (ISBN 978-0-091-52130-1, OCLC 851778574), p. 273
↑ (en) Charles Petzold, The annotated Turing, Wiley Pub, 2008, p. 130
↑ (en) John Keegan, Intelligence at war, Pimlico, 2004, p. 168-209.)
↑ Turing… et l’informatique fut.
↑ (en) A. M. Turing, « Checking a Large Routine », in Report of a Conference on High Speed Automatic Calculating Machines, Univ. Math. Lab., Cambridge, pp. 67-69 (1949) in Morris, F. L. et C. B. Jones. Avril 1984. An Early Program Proof by Alan Turing, Ann. Hist. Comp., vol. 6, no 2, pp. 139-143
↑ « Alan Turing : la pensée informatique », in Docsciences, no 14, juin 2012, p. 5
↑ L’héritage d’Alan Turing, Le succès du robot Psychiatre, p. 16.
↑ (en) Hugh Sebag-Montefiore, Enigma, the Battle for the Code.
↑ Sinclair McKay, The Secret Life of Bletchley Park.
↑ (en) Andrew Hodges, Alan Turing. The Enigma, Simon and Schuster, 1983, p. 458
↑ (en) Jim Eldridge, Alan Turing, A&C Black, 2013, p. 89
↑ (en) Andrew Hodges, Alan Turing. The Enigma, Simon and Schuster, 1983, p. 469
↑ (en) David Leavitt, Alan Turing and the Invention of the Computer, W. W. Norton & Company, 2006, p. 268
↑ (en) Andrew Hodges, Alan Turing. The Enigma, Princeton University Press, 2014, p. 612
↑ Guillaume Deleurence, « Petites histoires, grands logos » [archive], Micro hebdo, 16 février 2012
↑ (en) Holden Frith, « Unraveling the tale behind the Apple logo » [archive], CNN, 6 octobre 2011
↑ Hodges et Hofstadter 2012, p. 488
↑ a et b (en) Jonathan Brown, « The Turing enigma: Campaigners demand pardon for mathematics genius » [archive], The Independent, 18 août 2009
↑ Hodges et Hofstadter 2012, p. 489
↑ Hodges et Hofstadter 2012, p. 149
↑ Roland Pease, « Alan Turing: Inquest's suicide verdict 'not supportable' », BBC, 26 juin 2012, en ligne [archive].
↑ Damien Leloup, « Alan Turing ou la difficile réhabilitation de la mémoire d'un pionnier de l'informatique » [archive], Le Monde, 31 août 2009
↑ (en) Caroline Davies, « PM's apology to codebreaker Alan Turing: we were inhumane » [archive], The Guardian, 11 septembre 2009
↑ « La Grande-Bretagne refuse de pardonner son homosexualité à Alan Turing » [archive], Nouvelobs.com, 7 février 2012
↑ (en) Duncan Geere, « No posthumous pardon for Alan Turing » [archive], Wired UK, 6 février 2012
↑ (en) Oliver Moore, « Stephen Hawking calls for pardon for computer pioneer and war hero Alan Turing » [archive], The Globe and Mail, 14 décembre 2012
↑ a et b « Grâce royale pour un mathématicien condamné pour homosexualité » [archive], AFP, 23 décembre 2013
↑ Constance Jamet, « 60 ans après, Elizabeth II accorde sa grâce au mathématicien Alan Turing » [archive], Le Figaro, 24 décembre 2013
↑ (en) Oliver Wright, « Alan Turing gets royal pardon for 'gross indecency' – 61 years after he poisoned himself » [archive], The Independent, 25 décembre 2013
↑ (en) Josh Halliday, « Turing papers to stay in UK after 11th-hour auction bid » [archive], The Guardian, 25 février 2011
↑ Valentine Pasquesoone et Damien Leloup, « La Grande-Bretagne fête les 100 ans de la naissance d'Alan Turing, génie de l'informatique » [archive], Le Monde, 23 juin 2012
↑ Ce livre donne un aperçu des traces qu'a laissées Turing en France, tant auprès de scientifiques que de non-scientifiques (voir bibliographie)
↑ (en) Charles McGrath, « The Riddle Who Unlocked the Enigma » [archive], The New York Times, 30 octobre 2014
↑ « Au fil de l'histoire » [archive], France Inter, 11 mars 2012
↑ « Alan Turing : une vie, un héritage » [archive], France Inter, 1er mai 2013 avec Jean Lassègue, philosophe, auteur de deux livres consacrés à Alan Turing (voir bibliographie) et Clarisse Herrenschmidt, linguiste, philologue et anthropologue (« Fiche Clarisse Herrenschmidt » [archive], Laboratoire d’Anthropologie sociale)
↑ « Alan Turing » [archive], France Inter, 25 janvier 2014
↑ « Alan Turing » [archive], France Culture, 14 janvier 2012
↑ « Centenaire d'Alan Turing » [archive], France Culture, 25 avril 2012
↑ « Sésame ouvre toi : des codes depuis toujours ? » [archive], France Culture, 9 février 2013
↑ « "Cher Alan Turing" » [archive], France Culture, 23 juin 2016
↑ (en) Chris Harvey, « Britain's Greatest Codebreaker: the tragic story of Alan Turing » [archive], The Daily Telegraph, 21 novembre 2011
↑ « Le CNRS rend hommage à Alan Turing dans un documentaire » [archive], Télérama, 29 juin 2012
↑ Documentaire en ligne [archive]
↑ « Comment les maths ont vaincu Hitler » [archive], Arte, 2015
↑ (en)Bonhans - 13/04/2015 - Alan Turing's hidden manuscript [archive] - Bonhams.com, consulté le 15 avril 2015
↑ Un manuscrit d'Alan Turing vendu aux enchères pour 1 million de dollars [archive] - Le Figaro, 14 avril 2015
Portail de l’histoire des sciences Portail de l’histoire des sciences Portail de la cryptologie Portail de la cryptologie Portail de la logique Portail de la logique Portail des mathématiques Portail des mathématiques Portail de l'informatique théorique Portail de l'informatique théorique Portail LGBT Portail LGBT Portail du Royaume-Uni Portail du Royaume-Uni Portail de la Seconde Guerre mondiale Portail de la Seconde Guerre mondiale
RAPPORT DE WIKIPÉDIA