Alan Turing
Naissance |
Maida Vale(Londres,Royaume-Uni) |
---|---|
Décès |
(à 41 ans) Wilmslow(Cheshire,Royaume-Uni) |
Nationalité |
![]() |
Résidence | Wilmslow |
Domaines | Informatique,mathématiques,logique,cryptanalyse |
---|---|
Institutions | Université de ManchesterNational Physical LaboratoryUniversité de Cambridge |
Diplôme | Université de ManchesterUniversité de Princeton |
Renommé pour | Problème de l'arrêtMachine de TuringCryptanalyse d'EnigmaACEPrix TuringTest de Turing |
Distinctions | Officier de l'ordre de l'Empire britanniqueMembre de laRoyal Society |
Site | www.turingarchive.org |
Alan Mathison Turing,né leàLondreset mort leàWilmslow,est unmathématicienetcryptologuebritannique,auteur de travaux qui fondent scientifiquement l'informatique.Il est aussi un des pionniers del'Intelligence artificielle.
Pour résoudre le problème fondamental de ladécidabilitéen arithmétique, il présente en 1936 uneexpérience de penséeque l'on nommera ensuitemachine de Turinget des concepts deprogrammeet deprogrammation,qui prendront tout leur sens avec ladiffusion des ordinateurs,dans la seconde moitié duXXesiècle. Son modèle a contribué à établir lathèse de Church,qui définit le concept mathématique intuitif defonction calculable.
Durant laSeconde Guerre mondiale,il joue un rôle majeur dans lacryptanalysede lamachine Enigmautilisée par les armées allemandes: l'invention de machines usant de procédés électroniques, lesbombes[1],fera passer le décryptage à plusieurs milliers de messages par jour. Mais tout ce travail doit forcément rester secret, et ne sera connu du public que dans les années 1970. 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 letest de Turing.Vers la fin de sa vie, il s'intéresse à des modèles demorphogenèsedu vivant conduisant aux «structures de Turing(en)».
Poursuivi en justice en 1952 pourhomosexualité,il choisit, pour éviter la prison, lacastration chimiquepar prise d'œstrogènes.Il est retrouvé mort par empoisonnement aucyanureledans la chambre de sa maison àWilmslow.La reineÉlisabeth IIle reconnaît comme héros de guerre et lui accorde unegrâce royaleà titre posthume en 2013.
Biographie
[modifier|modifier le code]Enfance et jeunesse
[modifier|modifier le code]Alan Turing est né àMaida Vale(quartier de Londres) du fonctionnaire d'administration coloniale Julius Mathison Turing (9 novembre 1873 – 3 août 1947[2]) et de sa femme Ethel Sarah Turing (née Stoney leàCoimbatoreet morte le[3],fille d'un ingénieur en chef à la CompagnieMadras Railway[4]). À partir de l'âge d'un an, le jeune Alan est élevé enGrande-Bretagnepar des amis de la famille Turing, car sa mère a rejoint son père qui était en fonction dans l’IndianCivil Service.Ils reviennent auRoyaume-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 semaines[5].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 sept ans. La directrice reconnaît rapidement son talent, comme beaucoup de ses professeurs au cours de ses études auMarlborough 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 laSherborne 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 lagrè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 90kmqui séparent son domicile de son école, s'arrêtant même pour la nuit dans un hôtel[6].
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,art,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 Einsteinet comprend, alors qu'il a à peine 16 ans, qu'ils remettent en cause les axiomes d'Euclideet les lois de la mécanique céleste deGaliléeetNewton,à partir d'un texte de vulgarisation où ses conséquences ne sont pas indiquées explicitement[7].
À 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 qui a été décrit comme le « premier amour » de Turing. Quand Morcom meurt endes complications de latuberculose bovinecontracté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 Morcom[8],[9],[10].
Études supérieures et travaux sur la calculabilité
[modifier|modifier le code]Sa préférence pour les matières scientifiques fait échouer Turing à plusieurs reprises à ses examens, faute d'effort dans les matières classiques. Il n'est admis qu'auKing's Collegede l'université de Cambridge,alors qu'il avait demandéTrinity Collegeen premier choix. Il étudie de 1931 à 1934 sous la direction deGodfrey Harold Hardy,mathématicien alors titulaire de lachaire sadleiriennepuis responsable du centre de recherches et d'études en mathématiques. Il suit également les cours d'Arthur Eddingtonet, la dernière année, deMax Newmanqui l'initie à la logique mathématique. En 1935, Turing est élufellowdu King's College, l'équivalent d'une bourse de thèse, grâce à sa démonstration duthéorème central limite[11].
![](https://upload.wikimedia.org/wikipedia/commons/thumb/f/fd/KingsCollegeChapel.jpg/220px-KingsCollegeChapel.jpg)
En 1928, l'AllemandDavid Hilberténonce leproblème de la décision— connu sous le nom allemand d'«Entscheidungsproblem».Pour cela il se place dans lesthéories axiomatiqueset 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 calculable[12].C'est ce que fait Turing dans son remarquable article de 1936,«On Computable Numbers, with an Application to the Entscheidungsproblem»[13],[14],en imaginant, non une machine matérielle, mais un « être calculant », qui peut être indifféremment un appareil logique très simple ou unhumainbien 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 leproblème de l'arrêtd’unemachine de Turingne peut être résolu par algorithme: il n’est pas possible de décider avec unalgorithme(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 intuitif[15].
![](https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/Alan_Turing_az_1930-as_%C3%A9vekben.jpg/220px-Alan_Turing_az_1930-as_%C3%A9vekben.jpg)
Il est aussi complètement nouveau dans sa présentation du concept demachine universelle,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 denombre 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 pascalculables.Il introduit les concepts de programme et de programmation[a],[b],[18].
Turing passe la plus grande partie de 1937 et de 1938 à travailler sur divers sujets à l'université de Princeton,sous la direction du logicienAlonzo Churchqui a déjà encadré les travaux deStephen Kleenesur larécursivitéet deJohn Rossersur lelambda-calcul.Il obtient ensonPh. D.[19]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 desoracles[c],autorisant ainsi l'étude de problèmes qui ne peuvent pas être résolus de manière algorithmique. Church emploie pour la première fois l'expression « machine de Turing » dans le compte rendu de la thèse de son élève dans leJournal of Symbolic Logic.
Turing obtient des résultats importants sur lelambda-calcul,notamment en montrant son équivalence avec son propre modèle de calculabilité[20],en inventant lecombinateur de point-fixequi porte son nom[21]et en proposant la première démonstration de la normalisation dulambda calcul typé[22].
De retour àCambridgeen 1939, il assiste à des cours publics deLudwig Wittgensteinsur les fondements des mathématiques. Tous deux discutent avec véhémence et constatent leur désaccord, Turing défendant leformalismealors 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
[modifier|modifier le code]![](https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Bombe-rebuild.jpg/220px-Bombe-rebuild.jpg)
Selon plusieurshistoriens,le travail de Turing pour déchiffrer le code des transmissions allemandes permit de raccourcir la Seconde Guerre mondiale de deux ans[23].
Fin 1938, après les accords de Munich, la Grande-Bretagne comprend le danger du nazisme et développe ses armements. Turing fait partie des jeunes cerveaux appelés à suivre des cours de chiffre et decryptanalyseà laGovernment 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 des messages codés avec lesmachines Enigmautilisées par lesforces arméesallemandes.Ce travail profite initialement des percées effectuées par les services secrets polonais duBiuro Szyfrów[24]et du renseignement français auPC Bruno,que Turing visite entreet les premiers mois de 1940 et d'où il rapporte des copies desfeuilles de Zygalski.Mais, en,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 terreet 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çais[25]et polonais[26]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érationUltrarestaient 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
[modifier|modifier le code]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 »[27].Il contribue à de nombreuses autres recherches mathématiques, comme celles que menaitWilliam Tuttequi aboutira à casser le code généré par letéléscripteur de Fishconstruit 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 puisColossus.Cette machine, le premier grand calculateur électronique de l'Histoire, fut conçue parMax Newmanet construite au laboratoire de recherche des Postes deDollis Hillpar une équipe dirigée parThomas Flowersen 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
[modifier|modifier le code]À partir de,Turing travaille à temps partiel pour laGovernment Code and Cypher School(GC&CS). Avec le concours d'un expert en cassage de codes,Dilly Knox,il se concentre sur lacryptanalyse d'Enigma.Peu après une rencontre àVarsovie() où leBureau polonais du chiffreexplique 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 tropvulnérable,ce qui arriva en.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 60 dispositions initiales disponibles pour 3 rotors parmi 5, ou 336 dispositions pour 5 rotors parmi 8), réglage initial des rotors (parmi 17 576 réglages initiaux disponibles), permutations des fiches du tableau de connexions (parmi 150 738 milliards d'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 laKriegsmarine,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 et 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 dudécryptageduRoyaume-Uni,leGovernment Code and Cypher School(GC&CS). Durant le printemps 1941, Alan se rapproche deJoan Clarke,une des rares femmes cryptologues à Bletchley Park. Malgré un amour platonique qui ne dépasse jamais l'amitié, il se fiance avec elle par devoir social, car les parents de Clarke lui demandent de se marier. Turing rompt les fiançailles durant l'été après lui avoir révélé sonhomosexualité.Malgré cela, leurs relations restent excellentes[28].
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 novatrice. Deux documents qu'il rédige alors (unRapport sur les applications de la probabilité à la cryptographieet unDocument sur la statistique des répétitions) ne seront déclassés et remis aux National Archives du Royaume-Uni qu'en.
La bombe de Turing, Welchman et Pendered
[modifier|modifier le code]Quelques semaines à peine après son arrivée àBletchley Park,Turing rédige les spécifications d'une machine électromécanique plus efficace que labombapolonaise. La capacité de labombede Turing est doublée, grâce à un autre mathématicien deCambridge,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 alors l'outil fondamental le plus automatisé capable de décrypter les messages chiffrés par Enigma.
Au moyen d'un fragment probable detexte 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 laLuftwaffedont 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 laWehrmacht.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ète[29].
La Hut 8 et l'Enigma navale
[modifier|modifier le code]Affecté à lahutte 8(bâtiment préfabriquéno8), Turing décide de traiter un problème autrement difficile, lacryptanalyse d'Enigmanavale,« parce que personne d'autre ne s'en occupait et que je pouvais l'avoir pour moi tout seul ».La nuit suivant son affectation, il conçoit leBanburismus(en),technique statistique appelée plus tardanalyse séquentielleparAbraham 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 failles 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ées par les Alliés.
En,Turing se rend auxÉtats-Unisoù, avec des cryptanalystes de l'US Navy,il travaille sur l'Enigma navale et à la conception de «bombes électromécaniques». À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 desU-Boote.À 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 parradar,par écho-sondeurASDIC,la localisation parradiogoniométrieet, bien entendu, grâce au nombre des navires engagés et à l'endurance des marins.
En,Turing revient à Bletchley Park. En son absence, son adjointHugh Alexanderavait 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 fussent 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 labombe é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
[modifier|modifier le code]En 1945, pendant son séjour à Ebermannstadt, les deuxbombes atomiquesaméricaines sont lâchées surHiroshima et Nagasakiet il n’en est pas surpris: il connaissait, depuis son voyage secret aux États-Unis de 1942-1943, l'existence du projet àLos Alamosdans des proportions non encore élucidées[30].
De 1945 à 1947, il travaille auNational Physical Laboratory,situé àTeddingtonauRoyaume-Uni.Fin 1945, après avoir lu le rapportvon Neumannqui 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 Manchesteroù 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 preuves de correction de programmes fondée sur des assertions[31]qui préfigure la méthode connue sous le nom de «méthode de Floyd-Hoare».
Sportif accompli, en 1948, Turing termine quatrième aumarathonde l'Association des athlètes amateurs(AAA Marathon, dont les meilleurs coureurs sont généralement qualifiés pour lesJeux olympiques) en2h46min3s,un très bon temps. Blessé à une jambe, Turing cessera de courir intensivement en 1950[d].
Vers l'intelligence artificielle: le test de Turing
[modifier|modifier le code]Alan Turing continue parallèlement ses réflexions fondamentales réunissant la science et laphilosophie.Dans l'article «Computing Machinery and Intelligence» (Mind,), Turing explore le problème de l'intelligence artificielleet propose une expérience maintenant connue sous le nom detest 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 sujet[32]».
En,Turing écrit unprogramme 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 code original écrit par Turing et Champernowne n'a pas été conservé. En,une version du programme est recréée sous le nomTurochamppour disputer une partie de démonstration contreGarry Kasparov.
Le programme deJoe Weizenbaum,ELIZA,écrit en 1966 et qui ne prend pas plus de trois pages de langageSNOBOL,sera le premier à donner l'illusion pendant quelques minutes de satisfaire autest de Turing[e].
Morphogenèse
[modifier|modifier le code]En 1952, Turing s'est intéressé à une autre branche des mathématiques: l'analyse,et, à partir de l'équation deréaction-diffusion,a élaboré un modèlebiomathématiquede lamorphogenèse,tant chez l'animalque chez levégétal.Il fait paraître un article, «The Chemical Basis of Morphogenesis» (Philosophical Transactions of the Royal Society,), où il propose trois modèles de formes (Turing patterns). Dans les années 1990, des expériences dechimieviendront confirmer expérimentalement les modèles théoriques de Turing[34],[35].
Condamnation
[modifier|modifier le code]![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/19/Turing_Plaque.jpg/220px-Turing_Plaque.jpg)
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 seul[36],[37].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écencemanifeste et deperversion sexuelle»,grossière indécenced'après laCriminal Law Amendment Act (1885)[38].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étiqueoù sont impliqués des intellectuels anglais homosexuels, certains faisant partie desCinq de Cambridge,a rendu les services de contre-espionnage britanniques et américains sensibles à un profil comme celui de Turing[39].
Le procès est médiatisé.Hugh Alexanderfait de son confrère un brillant portrait, mais il est empêché de citer ses titres de guerre par leSecret Act.Turing est mis en demeure de choisir: incarcération oucastration chimiqueréduisant salibido[40].Il choisit le traitement, d'une durée d'un an, avec des effets secondaires temporaires (le coureur à pied svelte qu'il était grossit, devient impuissant, sapoitrine se développe...) et, surtout, des effets psychiques profondément démoralisants[41].Alors qu'il a été consacré, en 1951, en devenant membre de laRoyal Society,à partir de 1952, il est écarté des plus grands projets scientifiques. Toutefois, en,la « cure » se termine, ses effets s'estompent et Turing recommence à faire des projets de recherche, de voyages en France et en Méditerranée[42].
Mort
[modifier|modifier le code]Le,dans l'après-midi, Turing est retrouvé par sa gouvernante mort dans son lit, avec une pomme croquée sur sa table de nuit[43].L'autopsie conclut à un suicide parempoisonnementaucyanure,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 firmeApple[44],[45]) 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ée[46],[47].Turing est incinéré, et ses cendres sont dispersées dans le Cimetière Saint Jean àWoking[48].
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 accident[49],sachant que les pépins de pommecontiennent naturellement du cyanuremais en quantité trop faible, cependant, pour avoir un effet toxique. Certains ont remarqué le lien entre sa méthode présumée de suicide et le filmBlanche-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 poison »[47],[50].
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 cyanure[51].
Dans la culture populaire, l'idée qu'il se soit suicidé en raison de la répression de son homosexualité a été soutenue parRichard Dawkins,notamment par sa signature de la pétition demandant au gouvernement anglais de« s'excuser pour les poursuites d'Alan Turing qui ont conduit à sa mort prématurée »[52],[53].Cette thèse n'est appuyée par aucun expert d'Alan Turing (comme Jack Copeland[54],[55]et Andrew Hodges). Andrew Hodges[56]présente ce décès comme un acte isolé et souligne que le procès était passé depuis deux ans et le traitement hormonal s'était terminé un an auparavant. Il mentionne également« l'association stéréotypée entre le procès en 1952 et le décès en 1954. »
Œuvres
[modifier|modifier le code]- (en)The Turing Digital Archive,dirigé Jack Copeland, contient toute son œuvre publiée ou non publiée accessible en ligne.
- Collected Works of Alan Mathison Turing:
- (en)Mechanical intelligence,North-Holland,(ISBN9780444880581,OCLC21563576).
- (en)Morphogenesis,North-Holland,(ISBN9780444884862,OCLC24429931).
- (en)Pure mathematics,North-Holland,(ISBN9780444880598,OCLC21600975).
- (en)Mathematical logic,Elsevier Science,(ISBN9780444504234,OCLC162578313).
- Alan Turing,Jean-Yves Girard,La machine de Turing,Éditions du Seuil,[détail des éditions],traduction en français de deux articles,On Computable Numbers with an Application to the Entscheidungsproblem(1936) etComputing machinery and intelligence(1950), avec une introduction et des articles sur les mêmes sujets de Jean-Yves Girard.
- Textes fondateurs d'Alan Turing[57],traduction en français en ligne par Dominique Bonnaud-Dantil, INRIA, Silo/Sciencinfolycee, 2014.
- (en)Alan Turing,On Computable Numbers, with an Application to the Entscheidungsproblem: Proceedings of the London Mathematical Society,London Mathematical Society,(DOI10.1112/PLMS/S2-42.1.230,lire en ligne)et«[idem]: A Correction»,Proc. London Math. Soc.,2esérie,vol.43,,p.544-546(DOI10.1112/plms/s2-43.6.544,lire en ligne).
- (en)«Computing machinery and intelligence»,Mind,Oxford University Press,vol.59,no236,(lire en ligne[PDF]).
- Précis sur les nombres calculables,copie dactylographiée du premier brouillon réalisée par Madame Turing pour lescomptes rendus de l'Académie des sciences[58].
Postérité
[modifier|modifier le code]La première véritable biographie qui lui est consacrée sous forme d'un livre,Alan Turing: The Enigmad'Andrew Hodges,ne paraît qu'en 1983. Elle a été auparavant précédée de biographies plus confidentielles, comme celle de sa mère[59]et celle deBrian Randell(en)[60],ou d'ouvrages reconnaissant son rôle de pionnier[61],[62],[63],[64].
Dans les années 2000, on aime à trouver en Grande-Bretagne un précurseur local de l'informatique plus récent queCharles BabbageouAda Lovelace[Interprétation personnelle?][réf. nécessaire],tandis que l'effort du mouvementLGBTparvient à faire annuler les lois et, dans une certaine mesure, lever les préjugés sur l'homosexualité. Le secret des opérations de la guerre est levé après cinquante ans. Des plaques commémoratives, statues, timbres à son effigie honorent la mémoire d'Alan Turing,principalement en raison de son rôle dans la cryptanalyse.[réf. nécessaire]
Amnistie
[modifier|modifier le code]En 2009, une pétition, émise à l'initiative de l'informaticienJohn Graham-Cumming,est envoyée au Premier ministreGordon 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ée[65].»En,celui-ci a présenté des regrets au nom dugouvernement britannique[66].Cependant, le ministre de la JusticeTom McNallyexprime, en,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 réhabilitation 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énale[67],[68].»En,un groupe de onze scientifiques britanniques, dont le physicienStephen Hawking,appelle le Gouvernement britannique à annuler sa condamnation, à titre posthume[69],[70].
Le,la reineÉlisabeth IIsigne un acte royal de clémence, sur proposition dusecrétaire d'État à la JusticeChris Grayling,qui déclare que c'était une condamnation« que nous considérerions aujourd'hui comme injuste et discriminatoire[70]».C'est la quatrième fois depuis 1945 que la prérogative royale degrâces'exerce[71],[72].
La réflexion sur le cas de Turing est à l'origine de la promulgation de laloi Alan Turingau Royaume-Uni, partie de la révision de la loi pénalePolicing and Crime Act 2017(en).
Hommages
[modifier|modifier le code]![](https://upload.wikimedia.org/wikipedia/commons/thumb/6/63/Alan_Turing_Memorial_Sackville_Park.jpg/220px-Alan_Turing_Memorial_Sackville_Park.jpg)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/6/67/Belgique_-_Louvain-la-Neuve_-_Parking_des_Sciences_-_Alan_Turing.jpg/220px-Belgique_-_Louvain-la-Neuve_-_Parking_des_Sciences_-_Alan_Turing.jpg)
Depuis1966,l’Association for Computing Machinerydécerne annuellement leprix Turing(«Turing Award») à des personnes ayant apporté une« contribution majeure d'importance durable »au domaine de la recherche informatique[73].Cette récompense est souvent considérée comme l'équivalent duprix Nobelpour l'informatique[74].Le récipiendaire est invité à donner une conférence que l'on appelle la « conférence du prix Turing » («Turing Award lecture»).
LaBritish Computer Societyet l'Institution of Engineering and Technology(en)ont appeléTuring Lecture(en)la leçon publique qu'ils demandent à une personnalité de renom, dans divers lieux prestigieux de Grande-Bretagne.
En,au terme d'une vente aux enchères, des documents rédigés par Turing durant laSeconde Guerre mondialesont acquis par le musée deBletchley Parkavec l'aide duNational Heritage Memorial Fundafin d'éviter leur départ à l'étranger[75].
Plusieurs villes ont décidé de nommer une rue, une place, un parvis, une allée ou un équipement public en son honneur, par exempleManchesteretGuildfordau Royaume-Uni. Pour la France, on en trouve àClermont-Ferrand,Paris(avec leparvis Alan-Turing,voté fin 2016; laStation F,incubateur dédié aux technologies numériques, se situe officiellement à l'adresse n° 5, parvis Alan-Turing, Paris13e), Saint-Fargeau-Ponthierry, Aubière et Anzin. De nombreuses universités ou départements d'informatique ont un amphithéâtre ou une salle Turing[f].
Le,Alan Turing est désigné par laBanque d'Angleterrepour figurer sur les prochains billets de banque anglais de 50£valables dès 2022[76].Il est ainsi la première personnalité de la communauté LGBT à figurer sur un papier-monnaie[77].Le futur billet affichera de nombreux éléments évoquant sa carrière, notamment une ligne en code binaire. Celle-ci, convertie en valeurs décimales[78],donne 23061912, c'est-à-dire un codage de la date de naissance de Turing, à savoir le[79].
Salvatore Adamolui rend hommage dans sa chanson de 2012Alan et la pomme[80].
La promotion 2022 de l'Institut d'études politiques de Lillea reçu le nom d'Alan Turing.
Une peinture murale lui rend hommage dans la ville universitaire deLouvain-la-NeuveenBelgique,dans le parking situé sous laplace des Sciences.
Un manuscrit de 1942 vendu aux enchères
[modifier|modifier le code]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 est vendu chezBonhams,à New York, le,pour plus d'un million de dollars. Il comprend des réflexions sur lanotation de Leibniz.Turing avait légué ses papiers au mathématicienRobin 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 circulation[81],[82].
Œuvres de fiction sur Turing
[modifier|modifier le code]Littérature
[modifier|modifier le code]- 1995:Robert Harris,Enigma,Pocket, 1997. Thriller inspiré de la biographie du mathématicien.
- 2007:Jean Teulé,Le Magasin des suicides.Le nom du personnage principal est issu d'Alan Turing.
- 2009:David Lagercrantz,Indécence manifeste(roman), Actes Sud, 2016. Sur la vie de Turing.
- 2010:Janna Levin(en),Un fou rêve de machines de Turing,Markus Haller, 2010. Portrait croisé deKurt Gödelet d'Alan Turing.
- 2015:Laurent Alexandreet David Angevin,L'Homme qui en savait trop.Roman de science-fiction sur la vie de Turing, Robert Laffont.
- 2019:Jacques Marchand,La Joie discrète d'Alan Turing(roman), Québec Amérique, Montréal, 432 p. Sur la vie de Turing.
- 2019:Ian McEwan,Une machine comme moi(Machines like me), Gallimard.Ce roman décrit un monde qui ressemble au nôtre. En 1982, Alan Turing est encore en vie et grâce à lui, les prouesses technologiques sont inouïes et les avancées en matière d'intelligence artificielle fulgurantes.
Théâtre
[modifier|modifier le code]- 1986:Hugh Whitemore,Breaking the Code(en),adaptation de la biographie d'Andrew Hodges.La pièce est montée à Londres, puis àBroadway[83].Adapté pour la télévision en1996,réalisé parHerbert Wise.
- 1999:Jean-François Peyret,Turing-Machine,spectacle conçu et mis en scène par Jean-François Peyret, à la Maison de la culture de Bobigny,.
- 2018:La Machine de Turing,deBenoit Solès,authéâtre Michelà Paris, puis auThéâtre du Palais-Royalà Paris.
Cinéma
[modifier|modifier le code]- 2011:The Turing Enigma,film britannique réalisé parPete Wild
- 2014:Imitation Game(The Imitation Game), film américano-britannique réalisé parMorten Tyldum,adaptation de la biographie d'Andrew Hodges,avecBenedict Cumberbatchdans le rôle de Turing (Alex Lawtherpour sa version jeune)
- 2016:L'enigma di Turing,film italienréalisé parOrfeo Orlando
Bande dessinée
[modifier|modifier le code]- Éric LibergeetArnaud Delalande,Le Cas Alan Turing:histoire extraordinaire et tragique d'un génie,Les arènes BD,(ISBN978-2-35204-448-2)
- Robert Deutsch,Turing,Sarbacane,(ISBN978-2-37731-061-6)
- Aleksi Cavaillez, Maxence Collin etFrançois Rivière,Alan Turing,Casterman, 2024(ISBN978-2-203-08859-7)
Jeu vidéo
[modifier|modifier le code]- Outlast:Alan Turing y est mentionné en tant qu'ancien collègue (et potentiellement amant) duDrWernicke.
Notes et références
[modifier|modifier le code]Notes
[modifier|modifier le code]- «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 complete[16]».
- «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 machine[17]».
- La notion d'« oracle » est déjà présentée sans être exploitée dans son article originalOn 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 magazineRunner’s World(septembre 1999).
- « Eliza fut tellement convaincant que certains chercheurs l’imaginaient déjà passer le test de Turing avec succès[33]»…
- Par exemplel'Université Paris Diderot.
Références
[modifier|modifier le code]- Les « Bombes » de Turing s'inspirant desbombes cryptologiquespolonaises.
- (en-US)«Julius Mathison Turing», surgeni_family_tree(consulté le).
- (en-US)«Sara Turing (Stoney)», surgeni_family_tree(consulté le).
- (en)«Family tree of Ethel Sarah STONEY», surGeneanet(consulté le).
- FrançoisClarac,Encyclopédie historique des neurosciences: Du neurone à l'émergence de la pensée,De Boeck,,1009p.(ISBN2-8041-5898-5et978-2-8041-5898-9,lire en ligne),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,,p.19-22.
- (en)Rachel Hassall, «The Sherborne Formula: The Making of Alan Turing»,Vivat!,Sherborne School,,p.4 et 5(lire en ligne[PDF]).
- (en)Christian Caryl, «Poor Imitation of Alan Turing»,New York Review of Books,(lire en ligne).
- 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 »,(ISBN2-8486-7000-2,lire en ligne),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,London Mathematical Society,(DOI10.1112/PLMS/S2-42.1.230,lire en ligne)et«[idem]: A Correction»,Proc. London Math. Soc.,2esérie,vol.43,,p.544-546(DOI10.1112/plms/s2-43.6.544,lire en ligne).
- Précis onComputable numbersmade for Comptes rendus,annonce des résultats écrits en français pour lesComptes rendus de l'Académie des Sciences.
- «L'héritage d’Alan Turing»,CNRS Le journal,,p.9-10(lire en ligne[PDF]).
- (en)John C.Mitchell,Concepts in programming languages,Cambridge University Press,(lire en ligne),p.14.
- (en)Bruce J.MacLennan,Principles of Programming Languages,Oxford University Press,,Introduction: What is a programming language?.
- Alonzo Church, «On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. TuringReview»,The Journal of Symbolic Logic,vol.2,no1, mar., 1937,p.42-43(lire en ligne).
- 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,no4,,p.153-163.
- (en)Alan M.Turing,«The þ-Function in λ-K-Conversion»,J. Symb. Log.,vol.2,no4,,p.164.
- (en)M. H. A.Newmanet Alan M.Turing,«A Formal Theorem in Church's Theory of Types»,J. Symb. Log.,vol.7,no1,,p.28-33.
- (en)Harry Hinsley,The Influence of ULTRA in the Second World War,(lire en ligne[PDF]),p.8.
- 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 Computing3,p.229-234,(1981).
- (en)AndrewHodges,Alan Turing: the enigma,London, Burnett Books,,587p.(ISBN978-0-091-52130-1,OCLC851778574),p.273.
- (en)Charles Petzold,The annotated Turing,Wiley Pub,,p.130.
- (en)JohnKeegan,Intelligence at war,Pimlico,,p.168-209.
- Turing… et l’informatique fut.
- (en)A. M. Turing, « Checking a Large Routine », dansReport of a Conference on High Speed Automatic Calculating Machines,Univ. Math. Lab.,Cambridge,p.67-69(1949) inMorris, F. L. et C. B. Jones, «An Early Program Proof by Alan Turing»,Ann. Hist. Comp.,vol.6,no2,,p.139-143(lire en ligne).
- « Alan Turing: la pensée informatique », inDocsciences,no14, juin 2012,p.5.
- L’héritage d’Alan Turing,Le succès du robot Psychiatre,p.16.
- Fuseya, Y., Katsuno, H., Behnia, K. et et al., «Nanoscale Turing patterns in a bismuth monolayer»,Nat. Phys.,vol.17,,p.1031–1036(ISSN1745-2473,DOIhttps://doi.org/10.1038/s41567-021-01288-y).
- (en)«Turing patterns, 70 years later»,Nature Computational Science,vol.2,no8,,p.463–464(ISSN2662-8457,DOI10.1038/s43588-022-00306-0,lire en ligne,consulté le).
- (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,,p.458.
- (en)Jim Eldridge,Alan Turing,A&C Black,,p.89.
- (en)Andrew Hodges,Alan Turing. The Enigma,Simon and Schuster,,p.469.
- Leavitt 2006,p.268.
- (en)Andrew Hodges,Alan Turing. The Enigma,Princeton University Press,,p.612.
- (en)B. Jack Copeland,Turing: Pioneer of the Information Age,Oxford University Press,,p 224.
- Guillaume Deleurence, «Petites histoires, grands logos»,Micro hebdo,.
- (en)Holden Frith, «Unraveling the tale behind the Apple logo»,CNN,.
- Hodges et Hofstadter 2012,p.488.
- (en)Jonathan Brown, «The Turing enigma: Campaigners demand pardon for mathematics genius»,The Independent,.
- AndrewHodges,Alan Turing: The Enigma,Random House,(ISBN978-1-4481-3781-7,lire en ligne[archive du]).
- 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.
- (en)Jonathan Brown, «Dawkins calls for official apology for Turing», surThe Independent,(consulté le).
- (en)JohnGraham-Cumming,«Petition to: apologize for the prosecution of Alan Turing that led to his untimely death.», surweb.archive.org(consulté le).
- (en)«Alan Turing - Education, Movie & Quotes», surBiography,(consulté le).
- (en)FelixBehr,«The Mysterious Death Of Alan Turing», surGrunge,(consulté le).
- Douglas R.Hofstadter,Alan Turing: the enigma,Princeton University Press,(ISBN978-1-4008-4497-5),p.487.
- Voir surwiki.inria.fr.
- «Lire en ligne».
- SaraTuring,Alan M. Turing,Cambridge University Press,(ISBN978-1-107-02058-0)(publié à l'origine en 1959 par W. Heffer & Sons, Ltd).
- Brian Randell,On Alan Turing and the Origins of Digital Computers,vol.33, Computing Laboratory, University of Newcastle upon Tyne,(lire en ligne),publié commeBrianRandell,«On Alan Turing and the Origins of Digital Computers»,Machine Intelligence,Edinburgh University Press,vol.7,,p.3–20.
- Dans le livre deDouglas Hofstadter,Gödel, Escher, Bach: Les Brins d'une Guirlande Éternelle,publié en 1979, Turing tient un rôle très important à côté de Gödel, Escher et Bach.
- William F. Aspray Jr,From mathematical constructivity to Computer Science: Alan Turing, John von Neumann and the origin of computer science in mathematical logic,The University of Wisconsin,coll.« PhD »,(lire en ligne).
- IJ Good, «Early work on computers at Bletchley»,Annals of the History of Computing,IEEE,.
- Stephen C. Kleene,«Origins of Recursive Function Theory»,IEEE Annals of the History of Computing,vol.3,no1,,p.52-67.
- Damien Leloup, «Alan Turing ou la difficile réhabilitation de la mémoire d'un pionnier de l'informatique»,Le Monde,.
- (en)Caroline Davies, «PM's apology to codebreaker Alan Turing: we were inhumane»,The Guardian,.
- «La Grande-Bretagne refuse de pardonner son homosexualité à Alan Turing»,Nouvelobs.com,.
- (en)Duncan Geere, «No posthumous pardon for Alan Turing»,Wired UK,.
- (en)Oliver Moore, «Stephen Hawking calls for pardon for computer pioneer and war hero Alan Turing»,The Globe and Mail,.
- «Grâce royale pour un mathématicien condamné pour homosexualité»,AFP,.
- Constance Jamet, «60 ans après, Elizabeth II accorde sa grâce au mathématicien Alan Turing»,Le Figaro,.
- (en)Oliver Wright, «Alan Turing gets royal pardon for 'gross indecency' – 61 years after he poisoned himself»,The Independent,.
- (en)«Turing Award homepage».
- (en)Encyclopedia Britannica, «Turing Award»(consulté le).
- (en)Josh Halliday, «Turing papers to stay in UK after 11th-hour auction bid»,The Guardian,.
- (en)«Alan Turing to be the face of new £50 note», surbankofengland.co.uk(consulté le).
- Pierre-Alexis Bertrand[1],Huffington PostInternational,.
- Convertisseur binaire à décimal.
- «Un secret en binaire caché sur le billet de banque britannique à l’effigie d’Alan Turing», Radio Canada,.
- «Alan et la pomme», suradamosalvatore-dc.com(consulté le).
- (en)Alan Turing's hidden manuscript,Bonhams.com, consulté le.
- Valérie Sasportas,« Un manuscrit d'Alan Turing vendu aux enchères pour 1 million de dollars »,Le Figaro,.
- (en)Charles McGrath, «The Riddle Who Unlocked the Enigma»,The New York Times,.
Voir aussi
[modifier|modifier le code]Bibliographie
[modifier|modifier le code]:document utilisé comme source pour la rédaction de cet article.
- Bibliographie Alan Turing,BNF(7 pages) -BUEvry(12 pages)[PDF].
- (en)DavidLeavitt,Alan Turing and the Invention of the Computer,W. W. Norton & Company,;DavidLeavitt(trad.Julien Ramonet),Alan Turing l'homme qui inventa l'informatique,Dunod,,284p.(ISBN978-2-10-050357-5).
- (en)Stephen Cole Kleene,Introduction to Metamathematics,Amsterdam,North-Holland,,x+550(SUDOC005505526,présentation en ligne)— Nombreuses réimpressions, en 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000, 2009 notamment par Wolters-Noordhoff (Groningen)(ISBN0720421039),d'après la notice Sudoc. Nombreuses traductions.
- (en + fr)Stephen Cole Kleene,Mathematical Logic,Dover,— Réimpression Dover reprint, 2001,(ISBN0-486-42533-9).Traduction française parJean Largeault,Logique mathématique,Armand Colin, 1971 et Gabay 1987(ISBN2-87647-005-5).
- JeanLassègue,Turing,Paris, Les Belles lettres,(ISBN9782251760148).VoirPaul Jorion, «Turing, ou la tentation de comprendre»,L’Homme [En ligne],no153,(lire en ligne).
- (en)F. H.Hinsleyet AlanStripp,Codebreakers: the inside story of Bletchley Park,Oxford England/New York, Oxford University Press,(ISBN9780192801326,présentation en ligne).
- Jean Lassègue, «Les Génies de la science»,Pour la Science,no29 « Turing… et l’informatique fut »,(ISBN978-2-84245-078-6,lire en ligne).
- Jean-Marc Lévy-Leblond (sous la direction),Lettres à Turing,Paris, Thierry Marchaisse,,242p.(ISBN978-2-36280-097-9,présentation en ligne).
- AndrewHodges(trad.Nathalie Zimmerman),Alan Turing ou l'énigme de l'intelligence,Paris, Payot,coll.« Bibliothèque scientifique »,.Édition complétée:Alan Turing,Michel Lafon,(ISBN978-2-7499-2433-5).
- (en)HughSebag-Montefiore,Enigma: the battle for the code,Londres, Cassell Military,(ISBN9780304366620).
- John Keegan,Intelligence at War,Pimlico, 2004.
- LaurentLemire,Alan Turing: l'homme qui a croqué la pomme,Paris, Hachette Littératures,,191p.(ISBN9782012356184).
- 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,(réimpr.2007), 273p.(ISBN978-0-7538-2200-5et978-2100503575).
- (en)MichaelSmith,The emperor's codes: the breaking of Japan's secret ciphers,Londres, Dialogue,(ISBN9781906447120).
- (en)MichaelSmith,The secrets of Station X: how the Bletchley Park codebreakers helped win the war,Londres, Biteback Pub,(ISBN9781849540957).
- (en)Andrew Hodges et Douglas Hofstadter,Alan Turing: The Enigma,Princeton University Press,,586p.(ISBN9780691155647,lire en ligne).
.
- (en)SinclairMcKay,The secret life of Bletchley Park: the WWII codebreaking centre and the men and women who worked there,Londres, Aurum Press,(ISBN9781845136338).
- SinclairMcKay(trad.de l'anglais),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,.
- Cédric Villaniet Edmond Baudoin,Les rêveurs lunaires: quatre génies qui ont changé l'histoire(Biographie), Paris, Gallimard Grasset,(ISBN978-2-070-66593-8,OCLC905911777).
- Emmanuel Carrère,Vie abrégée d'Alan Turing,Revue de littérature générale,1995. Repris inIl est avantageux d'avoir où aller,pp.77-99,éditions P.O.L,Folio, 2016.
- Rafael Lahoz-Beltra et IrisBorianne(Trad.),L'esprit qui inaugura l'ère de la programmation: Turing,Barcelone, RBA Coleccionables,,147p.(ISBN978-84-473-9328-2).
- (en)B Jack Copeland,The Essential Turing,Oxford University Press,,613p.(ISBN978-0-198-25080-7).
- (en)B Jack Copeland,Alan Turing's Automatic Computing Engine: the master codebreaker's struggle to build the modern computer,Oxford University Press,(ISBN978-0-198-56593-2).
- (en)B Jack Copeland,Alan Turing' s Electronic Brain: the struggle to build the ACE, the world's fastest computer,Oxford University Press,,553p.(ISBN978-0-199-60915-4).
- (en)B Jack Copeland,Turing: Pioneer of the Information Age,Oxford University Press,(ISBN978-0-198-71918-2).
- (en)B JackCopeland,Jonathan PeterBowenet MarkSprevak,The Turing guide,Oxford University Press,,546p.(ISBN978-0-198-74783-3).
Émissions radiophoniques
[modifier|modifier le code]- Amaury Chardeau, «La Grande Traversée: l'énigmatique Alan Turing», 4 émissions de1h49[
], surFrance Culture,(consulté le).
- Patrick Pesnot, «Le génie du cryptologue Alan Turing: aux origines du premier ordinateur», émission de37min[
], surFrance Inter,Rendez-vous avec X,(consulté le).
Articles connexes
[modifier|modifier le code]Liens externes
[modifier|modifier le code]Notices et ressources
[modifier|modifier le code]- Notices dans des dictionnaires ou encyclopédies généralistes:
- Ressources relatives à la recherche:
- Ressource relative à la santé:
- Ressource relative aux beaux-arts:
- Ressource relative à plusieurs domaines:
- Ressource relative à la bande dessinée:
- Ressource relative à l'audiovisuel:
Autres
[modifier|modifier le code]- Espace-Turing(patrimoine, mathématiques, informatique, calcul scientifique) -Laboratoire de mathématiques J.A. Dieudonné(CNRS-UNS).
- Expérience numérique interactive en ligne des structures de Turingsur le site du CNRS.
- Alan Turing
- Cryptologue britannique
- Personnalité liée à Enigma
- Mathématicien britannique du XXe siècle
- Personnalité britannique de l'informatique
- Personnalité liée à l'intelligence artificielle
- Personnalité en informatique théorique
- Personnalité en sécurité informatique
- Précurseur de l'informatique
- Histoire de l'informatique au Royaume-Uni
- Personnalité en théorie de la calculabilité
- Logicien britannique
- Inventeur britannique du XXe siècle
- Philosophe de l'esprit
- Personnalité britannique de la Seconde Guerre mondiale
- Personnalité condamnée pour homosexualité
- Histoire du Royaume-Uni pendant la Seconde Guerre mondiale
- Histoire des LGBT au Royaume-Uni
- Homophobie au Royaume-Uni
- Universitaire britannique du XXe siècle
- Membre de la Royal Society
- Officier de l'ordre de l'Empire britannique
- Lauréat du prix Smith
- Professeur à l'université de Manchester
- Étudiant de King's College (Cambridge)
- Étudiant de l'université de Manchester
- Étudiant de l'université de Princeton
- Naissance en juin 1912
- Naissance à Maida Vale
- Décès en juin 1954
- Décès à 41 ans
- Décès dans le Cheshire
- Suicide par le cyanure
- Suicide au Royaume-Uni
- Personnalité britannique incinérée
- Personnalité incinérée au Cimetière St. Jean, Woking
- Éponyme d'un objet céleste