Turing Alan

En 1936, Alan Turing publie un texte qui donne une forme mathématique aux idées d'algorithme et de calcul. Sa machine de Turing n'est pas l'ordinateur posé sur un bureau : c'est un modèle abstrait qui aide à dire ce qu'une procédure peut calculer.

Cette idée fait de lui l'un des fondateurs de l'informatique théorique. Son parcours relie aussi la cryptanalyse d'Enigma pendant la Seconde Guerre mondiale, la conception d'ordinateurs après-guerre et une manière d'interroger le comportement intelligent des machines.

Alan Mathison Turing (1912-1954) est un mathématicien, logicien, cryptologue et informaticien britannique. Il est considéré comme l'un des fondateurs de l'informatique théorique parce que son article de 1936, On computable numbers, with an application to the Entscheidungsproblem, introduit la machine de Turing. Ce modèle abstrait formalise les notions d'algorithme et de calculabilité et fournit un fondement conceptuel aux ordinateurs modernes.

Turing étudie les mathématiques et la logique au King's College de Cambridge à partir de 1931, puis poursuit ses recherches à Princeton de 1936 à 1938. Pendant la Seconde Guerre mondiale, il participe à la cryptanalyse d'Enigma et conçoit avec Gordon Welchman et Harold Keen la « bombe de Turing », un dispositif électromécanique destiné au déchiffrement des messages codés.

Après la guerre, Turing travaille à la conception d'ordinateurs et à l'intelligence artificielle. Il propose le test de Turing pour évaluer la capacité d'une machine à manifester un comportement intelligent. Condamné pour homosexualité en 1952, il subit une castration chimique et l'exclusion des activités scientifiques sensibles. Sa mort par empoisonnement au cyanure, en 1954, est officiellement conclue à un suicide. La grâce royale posthume accordée en 2013 par la reine Élisabeth II et le prix Turing, décerné chaque année depuis 1966 et souvent comparé au prix Nobel de l'informatique, prolongent aujourd'hui la trace de son nom.

Dans un cours d'informatique théorique, un récit sur la cryptanalyse ou une discussion sur l'intelligence artificielle, le nom de Turing n'indique pas toujours la même chose. Quatre marqueurs permettent de situer le contexte : la machine abstraite de 1936, la « bombe » électromécanique liée à Enigma, le test portant sur le comportement intelligent d'une machine et le prix annuel décerné depuis 1966.

Ces expressions portent des informations différentes : un modèle conceptuel du calcul, un dispositif de cryptanalyse, un critère d'évaluation et une distinction scientifique. Les dates et les mots qui entourent le nom indiquent donc quel héritage d'Alan Turing est en jeu.

Pour lire une référence à Turing, il faut d'abord identifier ce qui est attribué : un texte, un modèle, un dispositif, un test ou un prix. La convention utile est de rattacher chaque nom à sa date et à sa fonction, plutôt que de traiter tous les emplois de « Turing » comme un seul objet.

1. Repérez la période : 1936 conduit au texte sur les nombres calculables, tandis que la Seconde Guerre mondiale conduit à Enigma.
2. Repérez la fonction : formaliser le calcul, déchiffrer des messages, évaluer un comportement intelligent ou distinguer une contribution scientifique.
3. Vérifiez les collaborateurs et le support : la bombe est conçue avec Gordon Welchman et Harold Keen, alors que la machine de Turing est un modèle abstrait.

Le piège visuel vient du nom propre répété : l'œil peut croire qu'il désigne partout la personne ou le même objet. Le bon réflexe consiste à lire le nom commun qui l'accompagne et à contrôler la chronologie.

Suivons une question précise : pourquoi Alan Turing est-il relié à l'informatique théorique ? Pour saisir l'apport de son article de 1936, partons d'une procédure que chacun peut exécuter : déterminer si un mot composé de 0 et de 1 contient un nombre pair ou impair de 1.

1. Prenez le mot 1011 et placez-vous dans l'état « pair » avant la lecture.
2. Lisez les symboles de gauche à droite.
3. Chaque fois que vous rencontrez 1, passez de « pair » à « impair », ou inversement ; si vous rencontrez 0, ne changez pas d'état.
4. Après 1, puis 0, puis 1, puis 1, l'état final est « impair » : le mot contient bien trois 1.
5. La liste des symboles, les deux états et la règle de passage forment des instructions précises, indépendantes de l'ordinateur qui les exécuterait.

Vous pouvez refaire le test avec 1100 : les deux passages d'un état à l'autre ramènent à « pair ». Ce micro-cas ne décrit pas toute la machine de Turing ; il montre le passage d'une action concrète à un modèle abstrait fait de symboles, d'états et de règles. Le lien fondateur avec l'informatique théorique vient de cette formalisation du calcul dans l'article de 1936, et non de la seule conception ultérieure d'ordinateurs.

En informatique théorique, on rencontre Turing lorsqu'il faut parler d'algorithme ou de calculabilité. Si le document décrit une procédure abstraite de calcul, la machine de Turing est le bon repère ; un ordinateur concret renvoie plutôt à ses travaux d'après-guerre.

Dans l'histoire de la Seconde Guerre mondiale, le geste consiste à relier les codes allemands à Enigma et leur cryptanalyse à la bombe de Turing. La présence de Gordon Welchman et Harold Keen signale une conception collective, et non un travail attribuable à Turing seul.

Dans une discussion sur l'intelligence artificielle, le test de Turing porte sur la capacité d'une machine à exhiber un comportement intelligent. Si le contexte parle au contraire d'une récompense annuelle pour une contribution majeure à l'informatique, il s'agit du prix Turing, décerné depuis 1966.

Alan Turing et la machine de Turing. Le premier est une personne ; la seconde est le modèle abstrait introduit dans son article de 1936. Un texte biographique parle de ses dates et de ses travaux, tandis qu'un problème de calculabilité mobilise le modèle.

Enigma et la bombe de Turing. Enigma produit les codes allemands mentionnés dans la source ; la bombe de Turing est le dispositif électromécanique conçu avec Gordon Welchman et Harold Keen pour aider à déchiffrer les messages codés. Le critère qui tranche est donc le rôle : coder ou contribuer au déchiffrement.

Test de Turing et prix Turing. Le test évalue le comportement intelligent d'une machine ; le prix distingue annuellement des chercheurs pour une contribution majeure à l'informatique. Une situation d'évaluation d'une machine renvoie au test, une remise de distinction au prix.

L'attribution solitaire. Dire que Turing conçoit seul la bombe efface Gordon Welchman et Harold Keen. Le symptôme est l'absence de leurs noms dans le récit du dispositif ; il faut restituer la collaboration.

La chronologie comprimée. La machine abstraite appartient au texte de 1936, tandis que la conception d'ordinateurs et l'intérêt pour l'intelligence artificielle viennent après la guerre. Si ces apports sont fondus en une seule invention datée, il faut les rétablir dans leur ordre.

La cause de la mort présentée sans nuance. L'empoisonnement au cyanure est donné comme fait, mais le suicide comme conclusion officielle. Le mot « officiellement » est un marqueur indispensable : il ne faut pas transformer la qualification rapportée en formulation plus absolue.

La reconnaissance posthume replacée dans sa date. Turing meurt en 1954 ; le prix portant son nom est décerné depuis 1966 et la grâce royale intervient en 2013. Ces deux jalons ne doivent pas être présentés comme des distinctions reçues de son vivant.

La fiche machine de Turing prolonge le portrait par l'étude du modèle abstrait qui formalise algorithme et calculabilité.

La fiche algorithme précise la notion que le texte de 1936 contribue à formaliser. L'article Les angoisses et l’allant de Turing ouvre une lecture culturelle consacrée à la personne.