Un rêve : tout démontrer

Au début du XXe siècle, les mathématiciens partagent une ambition immense. Ils veulent bâtir un édifice parfait, où chaque énoncé vrai pourrait être démontré à partir de quelques règles de base, et où aucune contradiction ne viendrait jamais tout faire s'écrouler.

Le grand porte-parole de ce rêve s'appelle David Hilbert. En 1900, ce mathématicien allemand dresse une liste de problèmes à résoudre pour le siècle à venir. Plus tard, il lance un véritable programme : il faut prouver, une fois pour toutes, que les mathématiques sont complètes (tout ce qui est vrai peut être démontré) et cohérentes (on ne pourra jamais démontrer une chose et son contraire). Sa formule est restée célèbre : « Nous devons savoir, nous saurons. »

Un coup de tonnerre en 1931

L'histoire bascule grâce à un logicien autrichien encore presque inconnu : Kurt Gödel. En 1931, à seulement 25 ans, il publie un article qui va faire l'effet d'une bombe dans le monde mathématique.

Sa conclusion est aussi simple à énoncer que vertigineuse :

  • Dans tout système mathématique suffisamment riche (au moins capable de manipuler les nombres entiers et leurs opérations), il existe forcément des énoncés qui sont vrais mais impossibles à démontrer à l'intérieur de ce système.

Autrement dit, le rêve de Hilbert est irréalisable. Il restera toujours des vérités hors de portée de nos démonstrations. On appelle ce résultat le théorème d'incomplétude.

Comment peut-on prouver une telle chose ?

L'idée de Gödel est d'une élégance redoutable. Sans entrer dans les détails techniques, voici l'esprit de sa démarche.

Faire parler les mathématiques d'elles-mêmes

Gödel a une intuition géniale : attribuer à chaque énoncé mathématique, et même à chaque démonstration, un numéro unique. Grâce à ce codage (qu'on appelle aujourd'hui la numérotation de Gödel), une phrase parlant de nombres peut secrètement parler... d'autres phrases mathématiques. Les mathématiques deviennent capables de se décrire elles-mêmes.

La phrase qui se mord la queue

À l'aide de cet outil, Gödel construit un énoncé très particulier, qu'on peut traduire en français par :

« Cet énoncé n'est pas démontrable. »

Réfléchissons un instant. Deux cas sont possibles :

  • Si on pouvait le démontrer, alors il serait faux (puisqu'il affirme qu'il n'est pas démontrable). On démontrerait donc quelque chose de faux : le système serait incohérent.
  • Si on ne peut pas le démontrer, alors ce qu'il affirme est exactement la vérité. C'est donc un énoncé vrai... mais indémontrable.

Pour un système qui ne se contredit pas, seule la seconde possibilité subsiste. La vérité existe bel et bien, mais elle échappe à toute preuve. Cette construction rappelle le vieux paradoxe du menteur (« je suis en train de mentir »), que Gödel a réussi à transformer en mathématiques rigoureuses.

Un second coup de massue

Gödel démontre aussi un second théorème, tout aussi troublant : un système mathématique cohérent est incapable de prouver sa propre cohérence. En clair, les mathématiques ne peuvent pas se garantir elles-mêmes qu'elles ne contiennent aucune contradiction. Le rêve de Hilbert reçoit ici son coup de grâce.

Et alors, faut-il s'inquiéter ?

Rassure-toi tout de suite : les mathématiques ne sont pas en danger. Le théorème de Gödel ne dit pas qu'elles sont fausses, ni qu'elles vont s'effondrer. Tout ce que tu apprends au lycée et bien au-delà reste parfaitement solide.

Ce que Gödel révèle, c'est autre chose : il existe une frontière infranchissable. Aucun ensemble fini de règles ne pourra jamais capturer la totalité des vérités mathématiques. Quoi qu'on fasse, il restera toujours des questions vraies que ce cadre ne pourra pas trancher. Si on ajoute de nouvelles règles pour combler un trou, le théorème s'applique de nouveau et fait apparaître d'autres énoncés indémontrables.

Une onde de choc philosophique

Au-delà des mathématiques, le résultat de Gödel a profondément marqué les esprits. Il pose une question fascinante sur la nature même de la connaissance : il existe des vérités que la raison peut concevoir sans jamais pouvoir les prouver.

Cette idée a nourri d'innombrables débats. Certains y voient une preuve que l'esprit humain dépasse la simple mécanique des règles, puisque nous pouvons « voir » qu'un énoncé est vrai là où aucune machine suivant des règles fixes ne le pourrait. D'autres restent plus prudents. Le théorème a aussi inspiré les pionniers de l'informatique, comme Alan Turing, qui a montré peu après qu'aucune machine ne pourra jamais résoudre tous les problèmes : certaines questions sont indécidables.

Ce qu'il faut retenir

Le théorème d'incomplétude de Gödel est l'une des découvertes les plus profondes de toute l'histoire de la pensée.

  • Le mathématicien Hilbert rêvait d'un système capable de tout démontrer.
  • En 1931, Gödel prouve que c'est impossible : tout système assez riche contient des vérités indémontrables.
  • Les mathématiques restent fiables, mais elles ont des limites définitives.

Loin d'être une mauvaise nouvelle, c'est peut-être l'inverse : la quête mathématique n'aura jamais de fin. Il restera toujours de nouvelles vérités à explorer, au-delà de toute frontière. De quoi donner le vertige... et l'envie d'en savoir plus.