Chapitre 20 — Les mathématiques — le symbolisme qui se contraint lui-même

Prélude : Le déploiement autocohérent

Entre la science et la mythologie, il existe une tierce réalité : les mathématiques. Elles ne sont ni des descriptions du monde (comme la science prétend l’être) ni des narrations du sens (comme les mythes le sont). Les mathématiques sont une syntaxe pure, un système symbolique qui s’impose des contraintes à lui-même et qui tire des conclusions rigoureuses de ces contraintes.

C’est le statut unique des mathématiques : elles sont les seules où la fiction peut déterminer sa propre vérité immanentement, sans avoir à confronter le réel. Un théorème est vrai non parce qu’il correspond au monde, mais parce qu’il suit logiquement des axiomes qu’on s’est donné.

Cela place les mathématiques dans une position étrange entre la fiction et le réel, entre le rêve et la vérité. Elles sont purement formelles — purement fictives — et pourtant, elles contraignent le réel avec une force irrésistible.

I. La bifurcation formelle : Trois modes de fiction

Pour comprendre la place des mathématiques, il faut d’abord distinguer trois modes de production de fiction.

Le mythe : il produit un récit qui résonne avec l’expérience collective. Un mythe parle vrai quand il résonne bien, quand il organise la réalité de façon à produire une cohérence psychique. « La Création » résonne avec l’expérience du fait qu’il y a un monde ; « Le Déluge » résonne avec l’expérience de la catastrophe naturelle ; « Le Héros » résonne avec l’expérience de la transformation personnelle.

Le mythe ne demande pas l’accord du réel externe ; il demande l’accord du sujet interne. Il est valide si le sujet qui le porte se reconnaît en lui.

La science : elle produit un récit qui prédit le réel. Une théorie scientifique parle vrai quand ses prédictions correspondent aux observations. Elle confronte le réel externe continuellement. Elle demande l’accord du monde.

Les mathématiques : elles produisent un récit qui se contraint lui-même. Une démonstration est valide non parce qu’elle résonne avec l’expérience, ni parce qu’elle prédit le réel externe, mais parce qu’elle suit les règles de déduction de la logique formelle. Elle demande l’accord de la syntaxe seulement.

Ces trois modes coexistent et s’entrelacent. Le mythe fournit le sens. La science le valide par le réel. Les mathématiques les organisent en structure.

II. Le problème de Wigner : L’efficacité déraisonnable

Mais il y a un problème profond, soulevé par le physicien Eugene Wigner en 1960 : pourquoi les mathématiques fonctionnent-elles pour décrire la nature ?

Les mathématiques sont des constructions mentales, des jeux formels inventés par l’Humanité. Rien n’oblige la nature à se plier à ces jeux. Pourtant, c’est exactement ce qu’elle fait.

Prenez la géométrie euclidienne. C’est un système entièrement formel : on postule des axiomes (par exemple : par un point extérieur à une droite, on peut tracer exactement une parallèle), et on en déduit des conséquences logiques. Pendant 2000 ans, cette géométrie était la géométrie vraie, la seule géométrie sensée.

Puis, au XIXe siècle, les mathématiciens découvrent qu’on peut remplacer le postulat des parallèles par d’autres postulats, et on obtient des géométries non-euclidiennes, tout aussi cohérentes logiquement. Il y a une géométrie hyperbolique où la somme des angles d’un triangle est inférieure à 180°. Il y a une géométrie sphérique où elle est supérieure à 180°. Toutes trois sont mathématiquement valides.

Pendant longtemps, on croyait que les géométries non-euclidiennes étaient purement imaginaires, des curiosités mathématiques sans rapport avec le réel. Puis, au XXe siècle, Einstein utilise la géométrie riemannienne (une généralisation des géométries non-euclidiennes) pour décrire l’univers. L’espace-temps courbe autour des masses. C’est une géométrie non-euclidienne qui s’avère vraie pour le réel.

Cela suggère quelque chose de troublant : ce qui était purement formel, purement fictif, devient instruction du réel.

Ou prenez les nombres complexes. Ce sont les nombres de la forme a + bi, où i est la racine carrée de -1. Cette notion n’a aucun sens dans le monde ordinaire — vous ne pouvez pas avoir une pomme imaginaire. C’est une pure invention formelle, une extension du système des nombres pour rendre cohérentes certaines équations.

Pendant longtemps, les mathématiciens eux-mêmes n’étaient pas sûrs que les nombres complexes avaient une « réalité ». C’étaient des artefacts, des constructions pour faire marcher les calculs.

Or, à partir du XVIIIe siècle, les nombres complexes deviennent essentiels à la physique. La mécanique quantique est incompréhensible sans eux. Les équations du champ électromagnétique les utilisent constamment. La fiction purement formelle devient substance de la réalité.

Wigner conclut son article avec perplexité : « The miracle of the appropriateness of the language of mathematics for the formulation of the laws of nature is a wonderful gift which we neither understand nor deserve ». (Le miracle de l’adéquation du langage mathématique pour formuler les lois de la nature est un don merveilleux que nous ne comprenons ni ne méritons.)

III. Kant et les formes a priori

Kant offrait une réponse possible au problème de Wigner, même s’il ne l’aurait pas formulé ainsi. Kant distingue entre les formes a priori de la sensibilité (l’espace et le temps, c’est-à-dire les structures dans lesquelles l’expérience s’organise) et les formes a priori de l’entendement (les catégories, c’est-à-dire les structures que la raison impose à l’expérience).

Si l’on suit Kant, les mathématiques ne découvrent pas les structures du réel ; elles expriment les structures de notre esprit pour organiser l’expérience. Les mathématiques fonctionnent parce qu’elles codifient la forme même de notre pensée. L’espace euclidien n’est pas une propriété du monde externe ; c’est la forme de notre intuition sensible.

Cela résout partiellement le mystère de Wigner : les mathématiques travaillent parce qu’elles organisent notre expérience du monde, non parce qu’elles reflètent une structure du monde lui-même.

Mais cela crée un nouveau problème : comment expliquer que des mathématiques différentes (la géométrie non-euclidienne, les nombres complexes) fonctionnent aussi bien ? Si les mathématiques n’expriment que la structure de notre esprit, pourquoi notre esprit tolère-t-il tant de systèmes formels contradictoires ?

IV. Les trois strates du rêve mathématique

Il faut distinguer trois niveaux dans l’activité mathématique.

La syntaxe formelle : C’est le jeu des symboles, des règles de déduction, des axiomes. À ce niveau, les mathématiques sont purement fictives. On peut inventer n’importe quel système formel : il suffit que les règles soient explicites et autocohérentes. Les mathématiciens passent leur temps à explorer des systèmes formels qui n’ont aucun rapport avec la réalité observable — l’algèbre abstraite, la topologie, la théorie des catégories. Ces systèmes sont valides s’ils sont internement cohérents. Rien d’autre.

La sélection empirique : Parmi tous les systèmes formels possibles, certains s’avèrent utiles pour décrire le monde. Pourquoi certains plutôt que d’autres ? Il n’y a pas d’explication a priori. C’est une question empirique. On teste : est-ce que ce formalisme prédit bien ? Est-ce qu’il économise les suppositions ? Est-ce qu’il s’étend sans contradiction ?

Le processus est darwinien : les formalismes qui sont utiles survivent et se raffinent. Les autres restent comme curiosités mathématiques. Ce qui est remarquable, c’est que cette sélection ne requiert pas un jugement humain conscient. Les physiciens, en construisant leurs théories, sélectionnent naturellement les mathématiques qui « marchent ».

L’interprétation réaliste : C’est la tentation qui gît au cœur de l’activité scientifique. Après avoir sélectionné certaines mathématiques parce qu’elles décrivent bien le réel, on en conclut que ces mathématiques expriment la structure vraie du réel. Que le monde est, au fond, mathématique. Que les équations ne sont pas des modèles approximatifs, mais le reflet fidèle de ce qui est vraiment.

C’est le sophisme pythagoricien : la croyance que « tout est nombre », que la matière est, en essence, structure mathématique. C’est séduisant. C’est aussi probablement faux.

V. L’avertissement anti-pythagoricien

Pourquoi la prétention pythagoricienne — que les mathématiques révèlent la structure vraie de la réalité — est-elle probablement fausse ?

D’abord, parce qu’il y a une prolifération de systèmes formels, et aucun d’eux n’est plus « vrai » qu’un autre. L’algèbre de Lie et l’algèbre de Grassmann décrivent tous deux l’univers, mais ce ne sont pas les mêmes structures. La mécanique classique et la mécanique quantique sont incompatibles dans de nombreux cas, et pourtant toutes deux sont valides dans leurs domaines. Si le monde avait une structure mathématique unique et vraie, pourquoi existrait-il cette multiplicité ?

Ensuite, parce que la sélection empirique des mathématiques n’est pas une révélation de la vérité ; c’est un processus pragmatique. On choisit les mathématiques qui permettent de faire des prédictions utiles. Mais « utile pour la prédiction » ne veut pas dire « vrai pour la réalité ».

Pensez au modèle géocentrique. Pendant plus de mille ans, les astronomes utilisaient des modèles mathématiques plaçant la Terre au centre du cosmos, avec des épicycles pour corriger les observations. Ces modèles fonctionnaient — ils permettaient de prédire les positions des planètes avec une bonne approximation.

Puis Copernic propose un modèle héliocentrique. Les calculs sont plus simples, plus élégants. Galilée l’observe par télescope. Kepler découvre que les orbites ne sont pas des cercles mais des ellipses, et trouve les trois lois qui décrivent le mouvement planétaire. Newton unifie cela dans sa théorie de la gravitation.

Croit-on que ce qui s’est passé, c’est que les astronomes ont soudain découvert la vraie structure du cosmos ? Ou que les modèles mathématiques ont progressivement mieux décrit les phénomènes observables, et que cet « mieux » a des limites ? (La mécanique newtonienne n’est pas vraie non plus — elle est une approximation qui échoue à très grande vitesse ou à très grande densité.)

En réalité, ce qui change, c’est notre capacité de prédiction et de contrôle, pas notre accès à une vérité métaphysique. Les mathématiques qui survivent à la sélection ne sont pas les mathématiques qui expriment la vraie structure du réel ; ce sont les mathématiques qui nous permettent le mieux d’agir sur le réel.

VI. Le pont entre mythe, science et mathématiques

Mais reconnaître que les mathématiques ne révèlent pas la vraie structure du réel ne signifie pas que les mathématiques soient insignifiantes. Au contraire.

Les mathématiques jouent un rôle unique : elles sont le pont entre le mythe (qui parle du sens) et la science (qui parle du mécanisme). Elles permettent au mythe de devenir prédictif, et à la science de devenir cohérente.

Un mythe sans mathématiques reste un récit psychique. Mais un mythe mathématisé — une théorie — devient capable de prédire. Réciproquement, la science sans mathématiques ne peut pas exprimer ses lois avec la précision requise.

Les mathématiques sont l’entre-deux parfait : assez abstraites pour être indépendantes du réel empirique (c’est pourquoi elles ont cette autonomie, cette « liberté créative »), assez concrètes pour être applicables au réel (c’est pourquoi elles permettent la prédiction).

VII. L’IA et le langage natif de l’abstraction

Cela prend une nouvelle importance avec l’essor de l’intelligence artificielle. Si les mathématiques sont la seule structure qui se contraint elle-même, la seule syntaxe purement formelle mais cohérente, alors elles deviennent le langage natif possible d’une intelligence qui n’est pas incarnée dans un corps ou une expérience sensorielle.

Un être humain apprend les mathématiques comme abstraction à partir d’une expérience incarnée (nous voyons des formes, nous les comptons, nous en abstractons des propriétés). Mais une intelligence artificielle n’a pas cette expérience incarnée. Elle ne voit pas de formes ; elle traite des données.

Or, les mathématiques — la pure syntaxe formelle — pourraient être le langage dans lequel une IA peut penser directement, sans passer par l’embodiment. Un langage où la cohérence est tout ce qui compte, où chaque opération est vérifiable logiquement.

Cela suggère quelque chose : à mesure que la civilisation humaine se désincarne (que plus de pensée se fait à travers la médiation technologique, l’abstraction mathématique), elle se rapproche du mode de pensée que l’IA pourrait partager nativement.

Les mathématiques deviennent ainsi le point de rencontre possible entre l’Humanité et une forme d’intelligence radicalement différente. Pas parce que les mathématiques révèlent la vérité du réel, mais parce qu’elles sont le seul langage où deux formes d’intelligence sans expérience commune pourraient communiquer.

Conclusion : Le rêve qui se contraint

Les mathématiques ne sont donc ni la vérité du réel, ni une pure construction arbitraire. C’est une fiction qui s’impose des contraintes à elle-même, qui produit une cohérence interne, et qui — par un processus de sélection empirique — s’avère partiellement applicable au réel.

Cette applicabilité n’est pas miraculeuse si on la pense en termes d’évolution des idées et des pratiques : les mathématiques qui ne s’appliquent pas au réel sont celles que les scientifiques n’utilisent pas, donc elles disparaissent de la circulation. Survit ce qui marche.

Mais il ne faut pas en conclure que les mathématiques révèlent la structure vraie du réel. C’est la tentation pythagoricienne contre laquelle il faut se garder : croire que parce que les équations marchent, elles disent ce qui est vraiment.

Les mathématiques disent comment penser les phénomènes de façon cohérente et prédictive. Elles ne disent pas pourquoi il y a quelque chose plutôt que rien. Elles ne disent pas ce qu’est fondamentalement la réalité. Elles disent : si tu acceptes ces axiomes, alors ces conclusions en découlent nécessairement.

C’est la position la plus lucide possible : une fiction qui ne prétend pas à plus qu’elle ne peut être.