Alan Turing — la pensée devenue machine

ÉtabliDébattuSpéculatif

Alan Turing (1912–1954) — logique, calculabilité, informatique. Galerie Logiciens, portrait 2/2 : les règles de la pensée.

Si Gödel a montré ce que les mathématiques ne peuvent pas prouver, Turing a montré ce qu’elles ne peuvent pas calculer. En 1936, pour répondre à une question de pure logique, il imagine une machine abstraite — un ruban, des symboles, des règles — qui capture l’idée même de « calcul ». Cette machine de papier, la machine de Turing, deviendra le plan de tous les ordinateurs à venir : il a inventé l’informatique avant l’ordinateur. Au passage, il démontre qu’il existe des problèmes qu’aucune machine, si puissante soit-elle, ne pourra jamais résoudre. Établi

De là surgit une question qui hante la physique contemporaine : si tout n’est pas calculable, l’Univers lui-même est-il un calcul ? Existe-t-il un programme plus court que le monde pour le décrire ? C’est l’une des spéculations les plus audacieuses que croise la collection — et elle commence ici, avec un homme et son ruban de papier. Spéculatif

La boucle se referme : Aristote découvre que penser a des règles, Turing que ces règles, poussées jusqu’au bout, dessinent — peut-être — les contours du réel lui-même.