Le théorème de l’impossible transition

Une histoire d’axiomes sans issue

Mise en garde sur ma méthodologie: ce qui suit utilise une analogie mathématique d’essence heuristique, et non formelle. Il ne s’agit pas de prouver que la transition écologique obéit aux théorèmes de Gödel, mais de montrer que la structure logique du problème — un système qui ne peut pas produire sa propre sortie — est isomorphe à celle de l’incomplétude.

Je suis attentif à ne pas glisser dans le sophisme de la fausse analogie. Avis aux amateurs de raccourcis, vous voilà prévenus.

Chercher ℝ dans ℕ: l’analogie fondatrice

Prenons une mathématicienne brillante, Sophie. Disons même très brillante. Sophie s’est spécialisée exclusivement dans ℕ, l’ensemble des entiers naturels — 0, 1, 2, 3… Un monde propre, dénombrable, rassurant. Chaque entier a un successeur, la récurrence marche comme une horloge, et tout s’enchaîne avec une minutie rigoureuse, digne du savoir-faire helvétique en matière de mesure du temps.

Maintenant, on lui demande de trouver π.

Sophie va s’y mettre sérieusement, parce qu’elle est déterminée. Elle encadrera π: c’est entre 3 et 4. Puis entre 3,1 et 3,2. Puis entre 3,14 et 3,15. Elle pourra passer sa carrière à resserrer l’encadrement, publier des articles sur des encadrements de plus en plus fins, créer une chaire d’encadrement de π, organiser un colloque international sur l’amélioration des techniques d’encadrement. Sophie n’atteindra jamais π.

Non par incompétence. Non par manque d’effort. Non par cynisme (bien que la chaire soit confortable). Mais par impossibilité formelle : π n’est pas un entier. Pire: π n’est même pas un rationnel. Le système dans lequel Sophie travaille ne contient pas, par construction, l’objet qu’on lui demande de trouver.

Les Grecs l’ont appris à leurs dépens. Les Pythagoriciens tenaient les entiers et leurs rapports pour la trame secrète du cosmos — « tout est nombre », en se couchant ce soir-là sereins. Puis quelqu’un, la légende fait souvent référence à Hippase de Métaponte, a mesuré la diagonale d’un carré de côté 1. L’objet géométrique le plus simple, le plus innocent du monde.

Cette diagonale valait √2 — un nombre qui ne peut pas s’écrire comme rapport de deux entiers. Un nombre qui échappe à la grille. La légende raconte que les Pythagoriciens ont noyé Hippase. C’est une réponse institutionnelle classique à une découverte inconfortable: quand la réalité dépasse l’axiomatique, on noie le messager et on garde l’axiomatique.

Il a fallu attendre des ténors comme Dedekind, Cantor et Weierstrass, bien plus tard, pour sortir de l’impasse. Et remarquez le geste: ils n’ont pas raffiné ℕ. Ils n’ont pas publié un rapport d’expertise recommandant un meilleur encadrement de π. Ils ont changé les axiomes. Dedekind a eu l’idée d’une élégance vertigineuse: la coupure. Couper ℚ en deux morceaux — tout ce qui est en dessous, tout ce qui est au-dessus — et le vide entre les deux, c’est le réel. Le nombre réel n’est pas un objet qu’on ajoute au système: c’est un entre-deux qu’on révèle.

Sans ce saut axiomatique: pas de calcul différentiel, pas de physique newtonienne, pas de thermodynamique, pas de relativité. La réalité matérielle du monde que nous habitons — ponts, avions, ordinateurs, l’ordiphone sur lequel vous lisez peut-être cet article — repose littéralement sur un changement d’axiomatique que les Pythagoriciens auraient qualifié de folie criminelle, juste avant de nous noyer.

Transition, donc: ce que Peano est à ℕ, l’HEC est à la transition écologique.

L’injustice herméneutique de la transition: Fricker appliquée à l’écologie

Parlons maintenant de nos décideurs politiques. La lecture commune de l’échec écologique propose deux récits: soit ils sont cyniques (« ils savent, mais ils s’en fichent »), soit ils sont incompétents (« ils ne savent pas »). Miranda Fricker, philosophe de l’épistémologie sociale, nous invite à considérer une troisième hypothèse, plus dérangeante: ils ne peuvent pas savoir — parce que la grille interprétative dont ils disposent ne contient pas la catégorie de la chose à savoir.

Fricker nomme cela l’injustice herméneutique: une situation où un sujet manque des ressources interprétatives nécessaires pour comprendre et nommer une expérience qui le concerne pourtant directement. Son exemple canonique: le harcèlement sexuel avant que le concept n’existe. Les femmes concernées souffraient, mais ne pouvaient pas nommer ce qui leur arrivait. La souffrance était réelle, le concept n’existait pas. Elles avaient donc, littéralement, raison sans pouvoir le dire.

Transposons. Le décideur politique « de bonne foi » — accordons-lui le bénéfice du doute, charité intellectuelle oblige — souffre d’une injustice herméneutique à plusieurs étages:

Premier étage, l’endoctrinement universitaire. Sa formation (économie néoclassique, gestion, sciences politiques institutionnelles) lui fournit une grille qui catégorise la crise écologique comme un problème de gestion. Or l’économie néoclassique ne contient pas la catégorie de « suffisance » — pas plus que ℕ ne contient la borne supérieure. On ne trouve pas dans un système formel les concepts que ses axiomes excluent. On peut chercher longtemps, l’ampoule n’est même pas dans la pièce.

Deuxième étage, la classe sociale. Notre décideur appartient à un milieu dont le mode de vie dépend structurellement du modèle extractiviste: la mobilité aérienne, l’immobilier pavillonnaire, les investissements financiers. Penser la sortie du système, pour lui, implique de penser contre soi-même, contre sa propre position sociale. Ce n’est pas de la mauvaise foi — c’est de la cohérence. Un poisson qui remettrait l’eau en question aurait lui aussi des problèmes d’agenda.

Troisième étage, la grammaire politique. La pensée légitime s’exprime dans un lexique précis: croissance, compétitivité, innovation, emploi. Ce lexique ne contient pas les mots de la décroissance matérielle, de la relocalisation, de la sobriété contraignante. Quand le mot « sobriété » finit par y entrer — par effraction — il est immédiatement désamorcé en conseil individuel de mode de vie. La preuve: la France a créé un ministère de la « Transition écologique » qui a passé l’essentiel de son existence à gérer la circulation automobile à Paris. Titularisation du concept, neutralisation de la substance.

Le cas HEC est ici paradigmatique: former des élites à maximiser, optimiser, internaliser les externalités, c’est former des mathématiciens de ℕ et leur demander ensuite de résoudre un problème de ℝ. La compétence elle-même devient obstacle: plus on est performant dans le système, moins on peut en voir l’extérieur.

Bourdieu complète le tableau là où Fricker donne le concept. L’habitus, dit-il, ne produit pas des opinions mais des structures de perception. Le décideur ne choisit pas de ne pas voir — il ne peut pas voir, parce que sa perception elle-même est structurée par le système qu’il devrait remettre en cause. Fricker fournit le diagnostic (l’injustice herméneutique), Bourdieu fournit le mécanisme (habitus, champ, reproduction). Ensemble, ils expliquent pourquoi un ministre peut sincèrement croire qu’une taxe sur le kérosène combinée à des biocarburants constitue une « stratégie de sortie »: dans ℕ, c’en est une.

Gödel, ou la méta-cognition impossible

On pourrait s’arrêter là et conclure: il suffit de donner à nos décideurs les ressources interprétatives manquantes, et le tour est joué. Réunion de sensibilisation, séminaire à Sèvres, journée d’étude, café bio, et on rentre. C’est compter sans Kurt Gödel.

En 1931, Gödel démontre deux théorèmes dont la portée dépasse considérablement les mathématiques:

1. Premier théorème: dans tout système formel suffisamment riche (contenant l’arithmétique), il existe des propositions vraies qui ne sont pas démontrables dans le système.
2. Second théorème: le système ne peut pas démontrer sa propre cohérence. Il ne peut pas, depuis l’intérieur, certifier le local dans lequel il habite.

Gödel a construit pour cela une proposition qui dit, en substance: « Je ne suis pas démontrable. » Le vieux paradoxe du menteur crétois, mais formalisé, rigoureux, implacable. Le système peut formuler cette proposition mais ne peut pas la prouver. C’est un miroir que le système tend à lui-même et dans lequel il ne peut pas se regarder — et contrairement au narcissisme ordinaire, ce n’est pas de la vanité, c’est de la logique.

Transposition: la nécessité de sortir de l’extractivisme est une proposition vraie — la physique et la biologie la rendent aussi incontournable que l’empoisonnement au Xe135 d’un RBMK — mais elle n’est pas démontrable depuis le système formel de l’économie de la croissance et de la gouvernance institutionnelle. Les indicateurs du système (PIB, compétitivité, taux de croissance) ne peuvent pas produire le diagnostic de leur propre insuffisance, pour la même raison qu’une balance ne peut pas se peser elle-même.

Ici se noue la différence cruciale entre Gödel et Fricker, et c’est la clé de voûte de tout l’argument. Fricker dit que le sujet manque de ressources interprétatives: le politicien ne peut pas penser la solution. Gödel dit quelque chose de plus radical: le système lui-même, par construction, ne peut pas produire la démonstration — même si le sujet disposait de toutes les ressources internes. L’incomplétude n’est pas un déficit cognitif individuel -> c’est une propriété du système formel.

Pour réaliser qu’un système est incapable de produire sa propre solution, il faut adopter un point de vue méta — se placer au-dessus du système, l’examiner de l’extérieur. Or le décideur formé dans le système, socialisé dans le système, légitimé par le système, n’a pas accès à cette position. Il est dedans. Il peut sentir l’incomplétude — comme un malaise, une intuition, une fatigue existentielle — mais il ne peut pas la démontrer dans sa propre langue.

Conséquence politique: les COP, les rapports du GIEC filtrés par les cadres institutionnels, les « transitions » pensées comme simples substitutions technologiques — tout cela est l’équivalent des tentatives de démonstration interne d’une proposition qui exige un saut axiomatique. Autrement dit: on ne résout pas π en encadrant mieux. Trente ans d’encadrement constituent une expérimentation dont les résultats sont connus.

Le théorème en action: trois illustrations

Le carburant synthétique, ou l’encadrement qui se prend pour la solution

Considérons les carburants synthétiques dits « propres ». Technologie de substitution qui ne change pas un seul axiome du système: on remplace le kérosène fossile par un kérosène fabriqué, et l’on déclare le problème résolu. Effet rebond programmé: si le kérosène devient « propre », la croissance du transport aérien reprend sans entrave — et avec elle la pression sur les terres, les matériaux, l’eau, qui n’entraient jamais dans l’équation. Le mot « propre » fonctionne ici comme indice littéral de l’injustice herméneutique: le système ne dispose pas du concept de charge matérielle globale et réduit l’impact écologique au CO₂.

ITER, ou le second théorème de Gödel avec un budget de vingt milliards

ITER promet une énergie quasi illimitée qui reporte la sobriété à l’horizon de sa réalisation — horizon aussi repoussable que la ligne d’arrivée d’Alice au pays des merveilles. Aurélien Barrau en a formulé la critique la plus nette: si la fusion réussit, elle lève la dernière contrainte énergétique du système extractiviste et accélère l’effondrement du vivant. Illustration parfaite du second théorème: le système investit des ressources colossales pour produire une solution qui, de l’intérieur, apparaît cohérente et nécessaire — mais qui, depuis un point de vue méta, alimente la destruction qu’elle prétend conjurer. Le problème n’est pas que la fusion ne marche pas. C’est qu’elle marcherait trop bien pour un système qui ne sait quoi faire d’une énergie illimitée hormis extraire, produire et consommer davantage.

Les COP, ou la preuve par construction

Trente ans de conférences, zéro inflexion de la courbe des émissions mondiales. On peut y lire un échec de coordination. On peut y lire, plus justement, une impossibilité formelle: les COP tentent de dériver, dans ℕ, une proposition qui exige un changement d’axiomatique.

Chaque COP est une nouvelle tentative de démonstration; chaque échec, une confirmation supplémentaire du théorème. Les courbes du Global Carbon Project sont la version graphique, minutieusement documentée, d’une proposition gödelienne. On n’a jamais autant dépensé d’énergie pour prouver, année après année, qu’une chose ne se prouve pas ainsi.

La beauté n’est pas un luxe: médiation latérale

J’aimerais alors attirer votre attention sur un aspect important: tout cela serait très joli, mais la beauté mathématique n’aurait rien à faire dans un débat politique. L’objection inverse exactement le rapport. Hardy soutenait que les mathématiques sont une activité créative comparable à la poésie, et que les théorèmes durables sont ceux qui sont beaux. La beauté n’est pas accessoire: elle est précisément ce qui distingue le saut axiomatique du simple bricolage technique. Dedekind n’a pas trouvé les coupures par hasard — il les a trouvées parce qu’il cherchait une élégance qui manquait au système.

L’histoire porte en elle des leçons de courage épistémique que le formulaire administratif ignore. Cantor a regardé l’infini actuel en face et n’en est pas revenu indemne: attaqué par Kronecker, bafoué par une partie de la communauté mathématique, dépressif, il a néanmoins eu raison. Il a fallu qu’un homme accepte de perdre pied, de quitter le sol ferme de ℕ pour le transfini, pour que l’inédit devienne pensable.

Changer d’axiomes, c’est accepter le vertige: quitter un monde sûr pour un monde qui n’existe pas encore. Ceux qui demandent des « solutions réalistes » demandent, en réalité, des solutions à l’intérieur de ℕ. Le réalisme, ici, est le nom flatteur donné à l’axiomatique dominante.

Le corps n’est pas un détail

Une précission supplémentaire s’impose: l’injustice herméneutique n’est pas seulement cognitive, elle est corporelle. Le décideur de bonne foi ne pense pas seulement avec des idées — il pense avec des habitudes incorporées: l’horaire de 9h à 17h, le repas d’affaires, la réunion Zoom, l’avion pour la COP, l’hôtel, la réception, le rythme accéléré. Ce corps de l’administration ne permet pas d’expérimenter les catégories de la sobriété, de la suffisance, de la limite. Il est physiquement configuré pour une axiomatique de la croissance. On ne peut pas penser ℝ si l’on habite ℕ — et ℕ est autant un régime de corps que d’esprit.

Poincaré le savait. Il trouvait en marchant et en dormant, pas en calculant. Grothendieck le savait. Il exigeait le retrait, l’ascèse, le silence. Orlando Fals Borda le savait aussi. Il reprenait aux pêcheurs colombiens le mot sentipensar — penser-avec-sentir — comme fondement d’une épistémologie où sentir et penser ne sont pas séparés, où connaître n’est pas extraire le réel mais le fréquenter. Le politicien moderne vit l’inverse exact: une épistémologie cartésienne de terrain, corps d’un côté, esprit de l’autre, émotions en variables non pertinentes, le vivant en objet. Son corps est saturé. Il n’a pas d’espace pour la pensée qui déplace les fondations. Peut-être faudrait-il commencer par là: non pas une nouvelle politique, mais une nouvelle manière d’habiter son propre corps.

Conclusion: la sortie ne viendra pas de l’intérieur

Si je résume en matière condensée: la transition écologique réelle — la sortie de l’extractivisme — n’est pas démontrable dans le système formel qui produit la crise. Elle exige un changement d’axiomatique, c’est-à-dire un saut qui ne peut pas être effectué par les agents formés dans et par le système.

Deux conclusions, solidaires:

• Par le chemin de Fricker: ceux qui pourraient politiquement initier le changement en sont herméneutiquement incapables — non par vice, mais par captivité interprétative.
• Sur le sentier de Gödel: le système lui-même, par construction, ne peut pas produire le diagnostic de sa propre insuffisance — il faut un métalangage, un point de vue externe.

Ces deux exclusions — subjective et objective — forment ensemble une double clôture qui rend la sortie axiomatiquement impossible depuis l’intérieur.

Attention toutefois à ce que ce texte accomplit — et n’accomplisse pas. Il ne démontre pas que la transition est impossible.

Il démontre pourquoi elle ne s’est pas produite malgré trente ans d’efforts. Et la réponse n’est ni « parce que les politiques sont cyniques » (moralisme paresseux) ni « parce que le système est une totalité fermée » (réductionnisme structurel). La réponse est: parce que les conditions épistémiques de la pensée de la sortie ne sont pas réunies à l’intérieur du système. Nommer cet obstacle n’est pas de la resignation — c’est la condition préalable à toute action efficace. On ne change pas ce qu’on ne comprend pas.

Si la sortie existe, elle viendra des marges qui opèrent déjà dans un autre système formel: communautés autochtones, zadistes, paysans en agroécologie, mouvements de relocalisation. Ce ne sont pas des marges au sens sociologique — ce sont des marges au sens logique: des ensembles définis par d’autres axiomes. La question n’est plus politique. Elle est épistémologique. La sortie de l’extractivisme ne sera pas une privation, elle sera l’accès à une forme de vérité que le système actuel, par sa pauvreté axiomatique, nous interdit de voir. On a cru que ℕ était indépassable. Nous avions tort. Le saut vers ℝ a fondé la modernité.

Nous croyons aujourd’hui que l’extractivisme est indépassable. Nous avons peut-être tort — mais seule la méta-cognition de notre propre incomplétude nous donnera la possibilité de changer d’axiomes. C’est cela, le véritable travail. Celui qu’on n’a encore jamais entrepris.

Quant aux décideurs de bonne foi, on peut leur faire pleinement confiance en l’occurrence: on peut leur accorder une charité intellectuelle sans réserve. Mais la charité ne change pas les axiomes.