Pourquoi chaque tentative de clôturer définitivement les mathématiques les a élargies — et pourquoi une IA qui les croit closes ne peut apprendre la seule chose qui compte vraiment.
« Nous devons savoir. Nous saurons. »
— David Hilbert, épitaphe, Göttingen
24 juillet 2026
Geoffrey Hinton a récemment affirmé que les mathématiques sont un système clos — un terrain de jeu aux règles fixes, comme celui sur lequel une IA s'est entraînée au jeu de Go. L'affirmation est frappante, non parce qu'elle est fausse, mais parce qu'elle est fausse d'une manière que les mathématiques elles-mêmes peuvent démontrer. Trois fois dans son histoire, la discipline a tenté de se refermer sur elle-même. Trois fois, cette tentative même l'a fait éclater.
Trois clôtures, trois ruptures
Les pythagoriciens voulaient construire le monde à partir de rapports de nombres entiers. Tout devait être rationnel — dans les deux sens du terme. Puis la diagonale du carré unité leur est tombée sous les pieds : √2. Aucun rapport, nulle part. La légende veut qu'ils aient noyé celui qui l'a découvert. Le nombre, lui, est resté. L'espace numérique s'est élargi à l'irrationnel — contraint de s'ouvrir par la tentative même de le garder rationnel.
Les algébristes voulaient que chaque équation ait une réponse. Un objectif modeste. Mais x + 5 = 3 exige des nombres inférieurs à zéro. x² = −1 exige des nombres qui « ne peuvent pas exister ». On les a appelés négatifs, imaginaires, absurdes — un vocabulaire entièrement défensif. Aujourd'hui, toute ligne électrique en courant alternatif calcule avec eux. L'exigence de résolubilité, pensée comme l'achèvement du système, a produit nombre après nombre que le système n'avait jamais prévu.
Hilbert, enfin, voulait refermer le couvercle une fois pour toutes : fonder l'ensemble des mathématiques sur un système d'axiomes complet et non contradictoire. Chaque énoncé vrai démontrable, chaque doute tranché mécaniquement. En 1931, Gödel a montré que tout système formel cohérent, suffisamment puissant pour contenir l'arithmétique, contient des énoncés vrais qu'il ne peut pas démontrer — y compris un énoncé affirmant sa propre cohérence. Ce n'est ni une opinion ni un pessimisme culturel. C'est un théorème. La tentative de clôture la plus ambitieuse de l'
Le mécanisme
Trois fois, la même structure :
L'intention est rationnelle. Vouloir la complétude n'a rien de malveillant — on cherche la clarté, la fiabilité, un sol stable. Les pythagoriciens, les algébristes, Hilbert : non des dogmatiques, mais des artisans de précision.
Le résultat est un renversement. C'est précisément la prétention à la clôture qui révèle l'endroit où le système ne se referme pas. √2 n'existe comme scandale que parce que tout devait être rationnel. Les théorèmes de Gödel n'existent que parce que Hilbert exigeait la complétude — ils sont la réponse précise à une question précise qui n'aurait jamais été posée sans cette volonté de clôture.
Tous sont coupables. Personne n'y peut rien.
C'est l'interaction paradoxale sous sa forme la plus pure : pas de méchant, pas d'échec, pas de complot. Seulement des acteurs rationnels dont l'action rationnelle produit systémiquement l'inverse de ce qui était visé — non comme accident, mais comme structure.
Le geste de Münchhausen
On peut le dire autrement : les mathématiques se tirent elles-mêmes du marécage par leurs propres cheveux. C'est en principe impossible — aucun système ne peut se fonder lui-même depuis l'intérieur, c'est justement ce que dit Gödel. Et pourtant, cela se reproduit sans cesse.
L'astuce est dans le détail : la main qui tire n'appartient pas au système qui s'enfonce. Elle appartient à des mathématiques qui n'existent pas encore au moment où il s'enfonce. √2 fait sombrer l'arithmétique rationnelle — elle est sauvée par les nombres réels, qu'il a d'abord fallu inventer. x² = −1 fait sombrer l'algèbre réelle — sauvée par le plan complexe, jugé « impossible » auparavant. La crise force l'invention du sol sur lequel elle se révèle, après coup, soluble.
Münchhausen ne ment que tant qu'il tient à rester le même homme. Les mathématiques sortent du marécage parce qu'elles acceptent d'en sortir autres qu'elles n'étaient.
Ce que cela signifie pour l'IA
Si les mathématiques étaient un jeu clos, Hinton aurait raison : on pourrait les jouer jusqu'au bout, comme au Go. Problèmes auto-posés, preuves vérifiées, récompense de la victoire. Beaucoup de cela fonctionnera — à l'intérieur des règles.
Mais les mathématiques ne consistent pas à suivre des règles. Elles sont, historiquement, l'événement où les règles cessent de suffire. Le moment où √2 surgit. Où quelqu'un prend l'unité imaginaire au sérieux. Où quelqu'un pose la question de la complétude avec une précision telle que la réponse déplace le fondement lui-même.
Une IA qui apprend les mathématiques comme un système clos apprend le jeu. Apprend-elle le moment où le jeu se fait sauter lui-même ? C'est une question ouverte — littéralement : une question qui ne peut être tranchée depuis l'intérieur du système qu'elle concerne.
C'est exactement ce que Gödel aurait prédit.
Une précision, par souci d'honnêteté : les théorèmes d'incomplétude de Gödel s'appliquent aux systèmes formels suffisamment puissants pour contenir l'arithmétique. Ils ne disent pas que « tout est ouvert » ou que « rien n'est démontrable » — bien au contraire : ils constituent eux-mêmes une preuve, menée avec la plus grande rigueur. L'ouverture des mathématiques n'est pas un arbitraire. C'est une caractéristique structurelle précise et démontrée. Cela les rend plus fortes, non plus faibles.
Articles connexes
Une Interaction Paradoxale en trois actes
Comment le refus de la gloire devient l’acte le plus glorieux – et pourquoi on ne peut pas s’en échapper
Comment les théoriciens des systèmes reproduisent les milieux d'enfermement contre lesquels Luhmann mettait en garde
Sur piinteract.org
- [Le Framework] — La structure de fond dans laquelle s'inscrit ce cas : des acteurs rationnels, un résultat collectivement irrationnel, aucune faute individuelle.
- [Exemples: Science & Académie] — D'autres cas où la science travaille contre sa propre prétention à la complétude.
- [Exemples: Technologie & IA] — La référence à Hinton dans le contexte d'autres cas d'IP issus du développement de l'IA.
Interactions Paradoxales (PI) : Quand des acteurs rationnels produisent systématiquement des résultats collectivement irrationnels — non pas par échec, mais par structure.
Tous sont coupables. Personne n'y peut rien.
Peter Senner Thinking beyond the Tellerrand
contact@piinteract.org
https://piinteract.org
Co-créé avec Claude (Anthropic) — deux systèmes incomplets rendant visibles les lacunes de l'autre.