Il court. Tous les jours, il court. Des kilometres a travers la campagne anglaise, seul, le regard perdu dans un horizon que personne d'autre ne voit. Alan Turing court parce que c'est la seule activite ou son corps et son esprit trouvent le meme rythme. Au King's College de Cambridge, en 1935, c'est un jeune homme de vingt-trois ans que tout le monde trouve bizarre. Brillant, ca oui. Mais bizarre. Il mange les doigts taches d'encre, porte une cravate comme attache a un poteau de cloture, et parle de mathematiques a des gens qui n'ont rien demande. Il n'a pas d'amis proches. Il a des idees.

Et l'une de ces idees va changer le monde. Pas metaphoriquement. Litteralement. Chaque ordinateur, chaque telephone, chaque serveur, chaque puce qui calcule quoi que ce soit en 2026 descend directement d'un concept qu'Alan Turing a couche sur papier en 1936, assis dans un pre apres une de ses courses solitaires.

Le probleme qui obsedait les mathematiciens

En 1928, David Hilbert, le mathematicien le plus influent de son epoque, pose une question qui semble raisonnable : existe-t-il une procedure mecanique — un algorithme — capable de determiner si n'importe quel enonce mathematique est vrai ou faux ? Il appelle ca l'Entscheidungsproblem. Le probleme de la decision. En gros : peut-on automatiser la verite ?

Hilbert etait convaincu que la reponse etait oui. Les mathematiques, pensait-il, formaient un systeme parfait, complet, decidable. Tout pouvait etre prouve. Tout pouvait etre verifie. Il suffisait de trouver la bonne methode.

Kurt Godel avait deja mis un premier coup de pioche dans cet optimisme en 1931 avec ses theoremes d'incompletude — il existe des verites mathematiques qu'aucun systeme formel ne peut prouver. Mais la question de Hilbert restait ouverte : meme si tout n'est pas prouvable, peut-on au moins decider mecaniquement ce qui l'est et ce qui ne l'est pas ?

C'est la que Turing entre en scene. Et son coup de genie, c'est la methode qu'il choisit pour repondre.

Inventer une machine pour prouver qu'elle ne peut pas tout faire

Pour demontrer que certaines questions sont indecidables, Turing fait quelque chose d'incroyable : il invente une machine. Pas une vraie machine. Un concept. Un objet mental d'une elegance devastatrice.

Imaginez un ruban infini, divise en cases. Chaque case contient un symbole — un 0 ou un 1, par exemple. Une tete de lecture se deplace le long du ruban, une case a la fois. Elle lit le symbole sous elle. En fonction de ce symbole et de son etat interne, elle fait trois choses : elle ecrit un nouveau symbole, elle se deplace d'une case vers la gauche ou la droite, et elle change d'etat. C'est tout. Un ruban, une tete, des regles.

C'est ridiculement simple. Et c'est exactement le point.

Si une tache peut etre decrite par un ensemble fini de regles claires, alors cette machine peut l'executer. Si cette machine ne peut pas l'executer, rien ne le peut.

Turing prouve que sa machine peut calculer tout ce qui est calculable. Mais il prouve aussi — et c'est la le coup fatal porte a Hilbert — qu'il existe des problemes que meme cette machine universelle ne peut pas resoudre. Le probleme de l'arret, par exemple : il est impossible de determiner a l'avance si un programme quelconque va s'arreter ou tourner en boucle indefiniment. La verite ne peut pas toujours etre decidee mecaniquement. Hilbert avait tort.

Son article, On Computable Numbers, with an Application to the Entscheidungsproblem, parait en 1936. Alan Turing a vingt-quatre ans. Il vient de definir les fondements theoriques de l'informatique. La machine qu'il a imaginee — la Machine de Turing — est l'ancetre conceptuel de tout ce qui calcule.

* * *

De l'imaginaire au reel

Cinq ans plus tard, la theorie devient urgence. La Seconde Guerre mondiale eclate, et les Britanniques ont un probleme : Enigma, la machine de chiffrement allemande, produit des codes que personne ne parvient a casser. Les messages interceptes sont du bruit. La Royal Navy perd des convois entiers dans l'Atlantique. Des marins meurent chaque semaine parce que les sous-marins allemands savent exactement ou frapper.

Turing est recrute a Bletchley Park, un manoir reconverti en centre de decryptage. Dans des baraques en bois, au milieu de linguistes, de joueurs d'echecs et de cruciverbistes, il concoit la Bombe — une machine electromecanique capable de tester des milliers de combinaisons Enigma par heure. Ce n'est pas encore un ordinateur. Mais c'est la premiere fois qu'une idee nee de la theorie pure sauve des vies a echelle industrielle. Les historiens estiment que le travail de Bletchley Park a ecourte la guerre de deux ans. Des millions de vies.

Apres la guerre, Turing continue. Il travaille sur l'ACE a Teddington, puis sur le Manchester Mark I — l'un des premiers vrais ordinateurs a programme enregistre. Il ecrit un article fondateur sur l'intelligence artificielle en 1950, ou il propose le celebre test de Turing : si une machine peut converser de maniere indiscernable d'un humain, peut-on dire qu'elle pense ? La question reste ouverte soixante-seize ans plus tard.

Ce que la societe ne pouvait pas accepter

Alan Turing etait homosexuel. En 1952, en Angleterre, c'etait un crime. Pas une transgression morale abstraite — un crime puni par la loi, passible de prison. Quand Turing signale un cambriolage a la police et que l'enquete revele sa relation avec un homme, c'est lui qu'on arrete. Pas le cambrioleur.

Le proces est rapide. Turing est reconnu coupable de « gross indecency » — indecence grave. On lui donne le choix : la prison ou la castration chimique. Il choisit les injections d'oestrogenes. Son corps change. Il developpe une poitrine. Son esprit, celui qui a imagine la machine universelle et casse Enigma, reste intact mais pris au piege d'un corps qu'on lui a impose.

Le 7 juin 1954, Alan Turing est retrouve mort dans son lit. A cote de lui, une pomme croquee, imbibee de cyanure. Il avait quarante et un ans.

L'homme qui avait defini ce que les machines pouvaient faire a ete detruit par une societe incapable d'accepter ce qu'il etait.
* * *

L'heritage qui ne s'efface pas

Il a fallu attendre 2009 pour que le Premier ministre britannique Gordon Brown presente des excuses publiques. Il a fallu attendre 2013 pour que la reine Elizabeth II accorde un pardon royal posthume. Il a fallu attendre 2017 pour que la « loi Turing » rehabilite les quelque cinquante mille hommes condamnes pour homosexualite au Royaume-Uni.

Soixante-trois ans de retard pour reconnatre l'evidence.

Mais la verite des mathematiques ne depend pas de l'opinion publique. Chaque processeur qui execute une instruction, chaque programme qui tourne, chaque algorithme qui decide quelque chose — tout ca, c'est une Machine de Turing. Les limites theoriques qu'il a posees en 1936, assis dans un pre du Cambridgeshire apres sa course, n'ont jamais ete depassees. Pas une seule fois en quatre-vingt-dix ans. Ce qu'une Machine de Turing ne peut pas calculer, rien ne le peut. C'est un mur. Le mur le plus solide de toute l'informatique.

Alan Turing a imagine une machine abstraite pour repondre a une question de logique. Cette machine est devenue le monde dans lequel nous vivons. Il n'a jamais su. Il ne saura jamais. Il est mort a quarante et un ans, empoisonne, humilie, casse par l'Angleterre qu'il avait contribue a sauver.

La prochaine fois que vous ouvrez votre ordinateur, votre telephone, que vous parlez a une IA — vous utilisez une Machine de Turing. Chaque calcul que fait cette planete est un echo de ce papier de 1936. De ce jeune homme etrange qui courait seul dans la campagne anglaise et qui voyait, dans les mathematiques, des choses que personne d'autre ne voyait.