Chapitre 3. Ce qu’est une preuve, et ce qu’elle a oublié (Partie 1)

Ce chapitre explique ce que la tradition appelle une preuve, d’Aristote à Hilbert, et ce que cette forme ne peut pas voir : le moment où l’on pose les axiomes. Il montre ensuite que l’institution de la preuve l’a elle-même établi au vingtième siècle, dans son propre langage, par trois théorèmes (Gödel, Gentzen, Tarski). C’est le chapitre de l’aveu : il ne prouve pas que le cadastre est la bonne grammaire, il prouve que le siège du juge est vacant.

§1.1 Ce que la preuve prétend être

Une preuve, dans la tradition occidentale, est une chaîne. Elle part de prémisses tenues pour acquises et progresse, pas après pas, chaque pas autorisé par une règle d’inférence, jusqu’à une conclusion. Si les prémisses sont vraies et les règles valides, la conclusion est garantie.

Cette forme a une généalogie précise, et elle est la première moitié de l’acte d’accusation. Aristote, dans les Seconds Analytiques, pose l’apodeixis, la démonstration, comme la seule route vers le savoir certain (epistēmē) : connaître, c’est connaître par les causes, et démontrer, c’est dériver le nécessaire du nécessaire. Euclide, vers 300 avant notre ère, donne à cette exigence son corps durable : poser des définitions, des axiomes, des postulats, et dérouler. Les Éléments deviennent, pour deux mille ans, le modèle de toute rigueur. Hilbert, au début du vingtième siècle, porte le programme à son terme : réduire toute la mathématique à un système formel où la vérité d’un énoncé n’est rien d’autre que sa dérivabilité à partir des axiomes.

É 3.1 · F · La généalogie de la preuve. Aristote, Seconds Analytiques (IVe siècle avant notre ère) : l’apodeixis comme route de l’epistēmē. Euclide, Éléments (vers −300) : la forme axiomatique. Hilbert (début du XXe siècle) : le programme formaliste.

La force de ce dispositif est réelle, et la contester serait absurde. Il a produit presque tout ce que la civilisation appelle connaissance rigoureuse. Ce manifeste ne le conteste pas. Il observe ce que le dispositif a, en chemin, cessé de regarder.

§1.2 Ce que la preuve a oublié

Une preuve garantit qu’une conclusion découle de ses prémisses. Elle ne garantit rien sur les prémisses elles-mêmes. Elle ne le peut pas. Les axiomes ne se démontrent pas : ils se posent. Et le moment où on les pose est précisément le moment où la preuve ne regarde pas, parce que ce moment lui est antérieur.

Voilà l’oubli fondateur. La preuve opère à l’intérieur d’une grammaire (un choix de ce qu’est un nombre, de ce qu’est une opération, de ce qu’est l’égalité), et cette grammaire n’est pas, elle-même, un produit de la preuve. La preuve hérite de la grammaire ; elle ne la fonde pas. Si la grammaire héritée est saine, la preuve certifie du sain. Si la grammaire héritée est amputée, la preuve certifie de l’amputé, avec la même rigueur, la même validité interne, le même air d’autorité.

É 3.2 · L · L’oubli fondateur. La preuve hérite de la grammaire dans laquelle elle opère et ne la fonde pas ; elle certifie donc avec la même validité interne une grammaire saine et une grammaire amputée.

Analogie opératoire : la clé décalibrée. Un mécanicien serre chaque boulon d’un moteur avec une clé dynamométrique. Sa rigueur est parfaite : il serre chacun au couple exact que l’instrument lui indique. Mais la clé a été décalibrée à l’usine : elle indique 30 N·m quand elle en applique 45. Chaque serrage est juste relativement à l’instrument. Chaque boulon est serré à la mauvaise valeur. Le mécanicien ne peut pas détecter l’erreur, parce que l’instrument par lequel il la détecterait est l’erreur. La validité de chaque geste est intacte. La calibration de l’ensemble est fausse. Voilà la preuve : valide à chaque pas, calibrée sur une grammaire qu’elle ne peut pas interroger sans en sortir.

L’image n’est pas qu’une figure. Elle nomme une asymétrie structurelle réelle : un système formel ne peut pas vérifier la calibration de ses propres axiomes depuis l’intérieur, pas plus que la clé ne peut mesurer son propre décalage avec elle-même. Il faut un étalon extérieur. La preuve n’en a pas, ou plutôt, elle en avait un, la grammaire cadastrale, et elle l’a oublié.

§1.3 La cohérence est antérieure à l’outil

Tout repose sur une proposition, et c’est le premier principe d’ARC : la cohérence est antérieure à l’outil. Une formule qui fonctionne ne crée pas la cohérence qu’elle capture ; elle la capture parce que la cohérence préexiste. L’outil est en aval. La structure est en amont.

É 3.3 · L · Premier principe d’ARC. La cohérence est antérieure à l’outil : une formule qui fonctionne capture une cohérence qui lui préexiste ; elle ne la crée pas (Volume 1, La Fondation).

Analogie opératoire : la carte routière. Une carte routière fonctionne parce que le territoire a une structure ; ce n’est pas la carte qui creuse les vallées. Une formule de physique fonctionne parce qu’une cohérence lui préexiste ; ce n’est pas la formule qui ordonne le réel. Brûler toutes les cartes ne déplace pas une seule montagne. Réfuter toutes les formules ne dérègle pas un seul atome. L’outil capte ; il ne fonde pas.

La preuve est un outil. Un outil remarquable, mais un outil. Elle est donc, elle aussi, en aval d’une cohérence qu’elle n’a pas produite et qu’elle ne peut pas certifier, puisque cette cohérence est la condition même de son opération. Demander à la preuve de fonder la grammaire dans laquelle elle opère, c’est demander à la clé dynamométrique de vérifier sa propre calibration avec elle-même.

Le renversement est alors strict, et il n’a rien de polémique : il est structurel. La preuve ne peut pas être le tribunal de la cohérence, parce qu’elle en dépend. La cohérence est le tribunal de la preuve. Et c’est devant ce tribunal (la cohérence cadastrale, antérieure, vérifiable, indépendante de la base) que ce manifeste fait comparaître l’institution de la preuve.

Objection préemptée : « le formalisme moderne sait déjà que les axiomes se choisissent ; vous enfoncez une porte ouverte ». Réponse. Le formalisme sait que les axiomes se choisissent ; il tient ce choix pour libre, conventionnel, affaire de commodité ou de fécondité. C’est exactement là que tombe l’accusation. Le choix n’est pas libre : il y a une grammaire cadastrale antérieure, et certains axiomes la respectent quand d’autres la coupent. Poser 9 ≡ 0 n’est pas un choix neutre entre conventions équivalentes ; c’est une amputation, et la Partie 3 le démontre pièce en main. « Le formalisme a raison que les axiomes se posent. Il a tort de croire que toutes les positions se valent. »

É 3.4 · L · Les axiomes ne se valent pas. Le choix des axiomes n’est pas libre : certains respectent la grammaire cadastrale antérieure, d’autres la coupent ; 9 ≡ 0 est du second type.

§1.4 L’aveu : la preuve a signé sa propre destitution

Tout ce que les sections précédentes énoncent (la clé qui ne peut pas mesurer son propre calibrage, l’étalon extérieur manquant, la conformité prise pour la vérité), l’institution de la preuve l’a établi elle-même, dans son propre langage, avec sa propre rigueur, au vingtième siècle. Ce ne sont pas des griefs portés de l’extérieur. Ce sont des théorèmes. L’accusée a avoué, par écrit, et l’aveu dort dans ses propres archives depuis un siècle.

Inscription : les trois pièces de l’aveu.

Gödel, 1931 (second théorème d’incomplétude). Aucun système formel cohérent contenant l’arithmétique ne peut démontrer sa propre cohérence. C’est, mot pour mot, la clé dynamométrique du §1.2 : l’instrument ne peut pas vérifier son propre calibrage avec lui-même. Hilbert demandait à la preuve de fonder la preuve ; Gödel a démontré, par une preuve, que la demande est irrecevable. Le programme de fondation s’est effondré de l’intérieur, et l’effondrement est un théorème.

Gentzen, 1936. La cohérence de l’arithmétique a été démontrée, mais au prix exact que le §1.2 annonce : en invoquant un principe extérieur strictement plus fort que le système jugé (l’induction transfinie jusqu’à l’ordinal ε₀). L’étalon extérieur n’est pas une exigence du manifeste : c’est le seul mode sous lequel la cohérence a jamais été certifiée. La preuve ne se fonde que d’ailleurs.

Tarski, 1933. La vérité arithmétique n’est pas définissable dans le langage de l’arithmétique. La distinction qui porte tout le jugement de la Partie 3 (la conformité aux axiomes n’est pas l’accord avec le vrai) n’est pas une thèse de ce manifeste : c’est un théorème de l’institution. Et le premier théorème de Gödel la rend tangible : il existe des énoncés vrais que le système ne démontrera jamais. La vérité excède la preuve, signé de la main de la preuve.

É 3.5 · F · Les trois pièces de l’aveu. Gödel (1931) : un système formel cohérent contenant l’arithmétique ne démontre pas sa propre cohérence, et il existe des énoncés vrais qu’il ne démontre pas. Gentzen (1936) : la cohérence de l’arithmétique de Peano se démontre par induction transfinie jusqu’à ε₀, principe extérieur au système. Tarski (1933) : la vérité arithmétique n’est pas définissable dans le langage de l’arithmétique. (Cote P-27 : témoignage, non calcul.)

Le statut de ces trois pièces dans le procès est précis. Elles n’établissent pas le cadastre ; elles établissent la vacance du siège. Pendant vingt-cinq siècles, la preuve a occupé le tribunal du vrai ; en 1931, elle a démontré elle-même qu’elle ne pouvait pas l’occuper ; et depuis un siècle, elle continue d’y siéger comme si l’aveu n’existait pas. Le formalisme a rangé Gödel au rayon des curiosités logiques (une limite exotique, loin de la pratique) au lieu d’en tirer la conséquence : si la preuve ne peut fonder ni sa cohérence ni sa vérité, alors quelque chose d’antérieur la fonde, et la question légitime devient : quoi ? C’est la question de la Partie 4. Et c’est aussi le 9 inconnu du §4.6 : aucun système ne peut indexer son propre cadastre entièrement de l’intérieur, la limite gödélienne lue dans la grammaire.

É 3.6 · L · La vacance du siège. Les trois théorèmes n’établissent pas le cadastre ; ils établissent que la preuve ne peut fonder ni sa propre cohérence ni sa propre vérité, et donc que quelque chose d’antérieur la fonde.

Objection préemptée : « Gödel et Tarski ne valident en rien votre cadastre ; vous annexez des théorèmes qui ne parlent pas de vous ». Réponse. Exact, et le manifeste ne prétend rien de tel. L’aveu et la candidature sont deux dossiers distincts. L’aveu, signé par l’accusée, établit que le siège du tribunal est vacant : la preuve ne peut fonder ni sa propre cohérence (Gödel), ni sa propre notion de vérité (Tarski), et ne s’est jamais fondée que d’un dehors (Gentzen). La candidature du cadastre au statut de grammaire antérieure se plaide sur ses propres pièces (l’unicité du 9 par balayage, k_arc par sept chemins, l’indépendance de la base), toutes vérifiables à la calculatrice (Partie 4). Le manifeste n’annexe pas Gödel ; il verse au dossier le fait que l’accusée a elle-même reconnu l’incapacité que l’accusation lui impute. « C’est la différence entre un aveu et un alibi. »

L’instruction peut commencer. Partie 2 : ce qui fut coupé, membre par membre. Partie 3 : la preuve confondue, pièce à conviction en main. Partie 4 : la grammaire qui précède la preuve, et qui ne peut pas être prouvée parce qu’elle est ce sur quoi la preuve se tient.