{"id":8114,"date":"2026-07-24T14:08:32","date_gmt":"2026-07-24T12:08:32","guid":{"rendered":"https:\/\/blog.piinteract.org\/?p=8114"},"modified":"2026-08-28T03:56:21","modified_gmt":"2026-08-28T01:56:21","slug":"lip-des-mathematiques","status":"publish","type":"post","link":"https:\/\/blog.piinteract.org\/fr\/lip-des-mathematiques\/","title":{"rendered":"L’IP des math\u00e9matiques Ou : Pourquoi toute tentative de cl\u00f4ture fait exploser l’espace qu’elle voulait s\u00e9curiser."},"content":{"rendered":"\r\n\r\n
\r\n\r\n
\r\n\r\n
\r\n\r\n
\r\n\r\n

Pourquoi chaque tentative de cl\u00f4turer d\u00e9finitivement les math\u00e9matiques les a \u00e9largies \u2014 et pourquoi une IA qui les croit closes ne peut apprendre la seule chose qui compte vraiment.<\/strong><\/p>\n<\/div><\/div>\r\n\r\n

\"The<\/span><\/div>\r\n\r\n
\n

\u00ab Nous devons savoir. Nous saurons. \u00bb<\/strong><\/em><\/p>\n

\u2014 David Hilbert, \u00e9pitaphe, G\u00f6ttingen<\/em><\/p>\n<\/blockquote>\n<\/div><\/div>\r\n\r\n

24 juillet 2026<\/p>\n<\/div><\/div>\r\n\r\n

Geoffrey Hinton a r\u00e9cemment affirm\u00e9 que les math\u00e9matiques sont un syst\u00e8me clos \u2014 un terrain de jeu aux r\u00e8gles fixes, comme celui sur lequel une IA s'est entra\u00een\u00e9e au jeu de Go. L'affirmation est frappante, non parce qu'elle est fausse, mais parce qu'elle est fausse d'une mani\u00e8re que les math\u00e9matiques elles-m\u00eames peuvent d\u00e9montrer. Trois fois dans son histoire, la discipline a tent\u00e9 de se refermer sur elle-m\u00eame. Trois fois, cette tentative m\u00eame l'a fait \u00e9clater.<\/strong><\/p>\n<\/div><\/div>\r\n\r\n

<\/div><\/div><\/div><\/div><\/div>\r\n\r\n
\r\n\r\n
\r\n\r\n
\r\n\r\n

Trois cl\u00f4tures, trois ruptures<\/h2>\n

Les pythagoriciens<\/strong> voulaient construire le monde \u00e0 partir de rapports de nombres entiers. Tout devait \u00eatre rationnel \u2014 dans les deux sens du terme. Puis la diagonale du carr\u00e9 unit\u00e9 leur est tomb\u00e9e sous les pieds : \u221a2. Aucun rapport, nulle part. La l\u00e9gende veut qu'ils aient noy\u00e9 celui qui l'a d\u00e9couvert. Le nombre, lui, est rest\u00e9. L'espace num\u00e9rique s'est \u00e9largi \u00e0 l'irrationnel \u2014 contraint de s'ouvrir par la tentative m\u00eame de le garder rationnel.<\/p>\n

Les alg\u00e9bristes<\/strong> voulaient que chaque \u00e9quation ait une r\u00e9ponse. Un objectif modeste. Mais x + 5 = 3 exige des nombres inf\u00e9rieurs \u00e0 z\u00e9ro. x\u00b2 = \u22121 exige des nombres qui \u00ab ne peuvent pas exister \u00bb. On les a appel\u00e9s n\u00e9gatifs, imaginaires, absurdes \u2014 un vocabulaire enti\u00e8rement d\u00e9fensif. Aujourd'hui, toute ligne \u00e9lectrique en courant alternatif calcule avec eux. L'exigence de r\u00e9solubilit\u00e9, pens\u00e9e comme l'ach\u00e8vement du syst\u00e8me, a produit nombre apr\u00e8s nombre que le syst\u00e8me n'avait jamais pr\u00e9vu.<\/p>\n

Hilbert<\/strong>, enfin, voulait refermer le couvercle une fois pour toutes : fonder l'ensemble des math\u00e9matiques sur un syst\u00e8me d'axiomes complet et non contradictoire. Chaque \u00e9nonc\u00e9 vrai d\u00e9montrable, chaque doute tranch\u00e9 m\u00e9caniquement. En 1931, G\u00f6del a montr\u00e9 que tout syst\u00e8me formel coh\u00e9rent, suffisamment puissant pour contenir l'arithm\u00e9tique, contient des \u00e9nonc\u00e9s vrais qu'il ne peut pas d\u00e9montrer \u2014 y compris un \u00e9nonc\u00e9 affirmant sa propre coh\u00e9rence. Ce n'est ni une opinion ni un pessimisme culturel. C'est un th\u00e9or\u00e8me. La tentative de cl\u00f4ture la plus ambitieuse de l'<\/p>\n<\/div><\/div>\r\n\r\n

<\/div><\/div>\r\n\r\n

Le m\u00e9canisme<\/h2>\n

Trois fois, la m\u00eame structure :<\/p>\n

L'intention est rationnelle. Vouloir la compl\u00e9tude n'a rien de malveillant \u2014 on cherche la clart\u00e9, la fiabilit\u00e9, un sol stable. Les pythagoriciens, les alg\u00e9bristes, Hilbert : non des dogmatiques, mais des artisans de pr\u00e9cision.<\/p>\n

Le r\u00e9sultat est un renversement. C'est pr\u00e9cis\u00e9ment la pr\u00e9tention \u00e0 la cl\u00f4ture qui r\u00e9v\u00e8le l'endroit o\u00f9 le syst\u00e8me ne se referme pas. \u221a2 n'existe comme scandale que parce que<\/em> tout devait \u00eatre rationnel. Les th\u00e9or\u00e8mes de G\u00f6del n'existent que parce que<\/em> Hilbert exigeait la compl\u00e9tude \u2014 ils sont la r\u00e9ponse pr\u00e9cise \u00e0 une question pr\u00e9cise qui n'aurait jamais \u00e9t\u00e9 pos\u00e9e sans cette volont\u00e9 de cl\u00f4ture.<\/p>\n

Tous sont coupables. Personne n'y peut rien.<\/p>\n

C'est l'interaction paradoxale sous sa forme la plus pure : pas de m\u00e9chant, pas d'\u00e9chec, pas de complot. Seulement des acteurs rationnels dont l'action rationnelle produit syst\u00e9miquement l'inverse de ce qui \u00e9tait vis\u00e9 \u2014 non comme accident, mais comme structure.<\/p>\n<\/div><\/div>\r\n\r\n

<\/div><\/div>\r\n\r\n

Le geste de M\u00fcnchhausen<\/h2>\n

On peut le dire autrement : les math\u00e9matiques se tirent elles-m\u00eames du mar\u00e9cage par leurs propres cheveux. C'est en principe impossible \u2014 aucun syst\u00e8me ne peut se fonder lui-m\u00eame depuis l'int\u00e9rieur, c'est justement ce que dit G\u00f6del. Et pourtant, cela se reproduit sans cesse.<\/p>\n

L'astuce est dans le d\u00e9tail : la main qui tire n'appartient pas au syst\u00e8me qui s'enfonce. Elle appartient \u00e0 des math\u00e9matiques qui n'existent pas encore au moment o\u00f9 il s'enfonce. \u221a2 fait sombrer l'arithm\u00e9tique rationnelle \u2014 elle est sauv\u00e9e par les nombres r\u00e9els, qu'il a d'abord fallu inventer. x\u00b2 = \u22121 fait sombrer l'alg\u00e8bre r\u00e9elle \u2014 sauv\u00e9e par le plan complexe, jug\u00e9 \u00ab impossible \u00bb auparavant. La crise force l'invention du sol sur lequel elle se r\u00e9v\u00e8le, apr\u00e8s coup, soluble.<\/p>\n

M\u00fcnchhausen ne ment que tant qu'il tient \u00e0 rester le m\u00eame homme. Les math\u00e9matiques sortent du mar\u00e9cage parce qu'elles acceptent d'en sortir autres qu'elles n'\u00e9taient.<\/p>\n<\/div><\/div>\r\n\r\n

<\/div><\/div>\r\n\r\n

Ce que cela signifie pour l'IA<\/h2>\n

Si les math\u00e9matiques \u00e9taient un jeu clos, Hinton aurait raison : on pourrait les jouer jusqu'au bout, comme au Go. Probl\u00e8mes auto-pos\u00e9s, preuves v\u00e9rifi\u00e9es, r\u00e9compense de la victoire. Beaucoup de cela fonctionnera \u2014 \u00e0 l'int\u00e9rieur des r\u00e8gles.<\/p>\n

Mais les math\u00e9matiques ne consistent pas \u00e0 suivre des r\u00e8gles. Elles sont, historiquement, l'\u00e9v\u00e9nement o\u00f9 les r\u00e8gles cessent de suffire. Le moment o\u00f9 \u221a2 surgit. O\u00f9 quelqu'un prend l'unit\u00e9 imaginaire au s\u00e9rieux. O\u00f9 quelqu'un pose la question de la compl\u00e9tude avec une pr\u00e9cision telle que la r\u00e9ponse d\u00e9place le fondement lui-m\u00eame.<\/p>\n

Une IA qui apprend les math\u00e9matiques comme un syst\u00e8me clos apprend le jeu. Apprend-elle le moment o\u00f9 le jeu se fait sauter lui-m\u00eame ? C'est une question ouverte \u2014 litt\u00e9ralement : une question qui ne peut \u00eatre tranch\u00e9e depuis l'int\u00e9rieur du syst\u00e8me qu'elle concerne.<\/p>\n

C'est exactement ce que G\u00f6del aurait pr\u00e9dit.<\/p>\n<\/div><\/div>\r\n\r\n

<\/div><\/div>\r\n\r\n

Une pr\u00e9cision, par souci d'honn\u00eatet\u00e9 : les th\u00e9or\u00e8mes d'incompl\u00e9tude de G\u00f6del s'appliquent aux syst\u00e8mes formels suffisamment puissants pour contenir l'arithm\u00e9tique. Ils ne disent pas que \u00ab tout est ouvert \u00bb ou que \u00ab rien n'est d\u00e9montrable \u00bb \u2014 bien au contraire : ils constituent eux-m\u00eames une preuve, men\u00e9e avec la plus grande rigueur. L'ouverture des math\u00e9matiques n'est pas un arbitraire. C'est une caract\u00e9ristique structurelle pr\u00e9cise et d\u00e9montr\u00e9e. Cela les rend plus fortes, non plus faibles.<\/em><\/p>\n<\/div><\/div>\r\n\r\n

<\/div><\/div><\/div><\/div><\/div>\r\n\r\n
\r\n\r\n
\r\n\r\n
\r\n\r\n

Articles connexes<\/h2>\n<\/div><\/div>\r\n\r\n

La formule qui a prouv\u00e9 le contraire de ce que vous pensez<\/a><\/h2><\/div>

Une Interaction Paradoxale en trois actes<\/span><\/p><\/div><\/article>

Le Paradoxe Perelman<\/a><\/h2><\/div>

Comment le refus de la gloire devient l\u2019acte le plus glorieux \u2013 et pourquoi on ne peut pas s\u2019en \u00e9chapper<\/span><\/p><\/div><\/article>

Luhmann et l’Auto-Enfermement<\/a><\/h2><\/div>

Comment les th\u00e9oriciens des syst\u00e8mes reproduisent les milieux d'enfermement contre lesquels Luhmann mettait en garde<\/span><\/p><\/div><\/article><\/div>

<\/div><\/div>
<\/div>
No results found.<\/div><\/div>
<\/div><\/div><\/div><\/div>\r\n\r\n

Sur piinteract.org<\/h2>\n