Le contexte : une crise au cœur des mathématiques
Au début du 20e siècle, les mathématiciens traversent une crise fondationnelle. David Hilbert a posé en 1928 une question vertigineuse — l’Entscheidungsproblem (problème de la décision) : existe-t-il un procédé mécanique qui, appliqué à n’importe quel énoncé mathématique, permet de dire s’il est vrai ou faux ?
Pour répondre, il faut d’abord définir ce que signifie « procédé mécanique ». C’est là qu’entre en scène un jeune étudiant de King’s College Cambridge : Alan Turing.
L’événement : une machine qui n’existe pas
En mai 1936, Turing soumet un article au Proceedings of the London Mathematical Society. Titre : On Computable Numbers, with an Application to the Entscheidungsproblem. Dans ce texte de 36 pages, il décrit un dispositif purement théorique — la machine de Turing.
L’appareil est minimaliste : un ruban infini divisé en cases, une tête de lecture/écriture, et un ensemble fini de règles. À chaque étape, la machine lit un symbole, consulte ses règles, écrit un nouveau symbole, et se déplace d’une case. Rien d’autre.
« Nous ne pouvons pas espérer définir précisément ce que nous entendons par « procédure mécanique » avant d’avoir défini ce que nous entendons par « machine ». Nous devons donc commencer par là. »
— Alan Turing, 1936
Le coup de génie : Turing démontre qu’une seule machine, convenablement programmée, peut simuler n’importe quelle autre. C’est la machine universelle de Turing — l’ancêtre conceptuel direct de l’ordinateur moderne.
L’impact : la naissance de l’informatique théorique
L’article de Turing fait deux choses. D’abord, il répond négativement à Hilbert : non, il n’existe pas de procédé mécanique universel pour décider de la vérité des énoncés mathématiques. Certains problèmes sont indécidables par principe. Ensuite, il fonde la théorie de la calculabilité : on sait désormais précisément ce qu’un ordinateur peut faire — et ce qu’il ne peut pas.
Pendant la Seconde Guerre mondiale, Turing applique ses idées à Bletchley Park pour casser le chiffrement Enigma des Allemands. Après la guerre, ses concepts inspirent directement John von Neumann, qui formalise en 1945 l’architecture des ordinateurs que nous utilisons encore aujourd’hui.
Résonance 2026 : les LLM sont des machines de Turing
Quatre-vingt-dix ans plus tard, chaque ordinateur, chaque smartphone, chaque serveur hébergeant un LLM est une machine de Turing. GPT-5, Claude Opus 4.7, Llama — tous sont exécutés sur des machines universelles au sens de Turing 1936. La puissance a explosé, mais le modèle théorique reste identique.
Plus profond encore : la question de Turing — « une machine peut-elle penser ? » — est directement l’héritière de son article de 1936. Si un ordinateur peut simuler n’importe quel calcul, alors peut-être peut-il simuler la pensée elle-même. Chez CMEDIA, chaque projet d’intégration IA que nous déployons continue cette lignée : nous construisons sur les épaules d’un étudiant de 24 ans qui, en 1936, a dessiné un ruban infini.