Kurt Gödel — l’honnêteté faite théorème

ÉtabliDébattuSpéculatif

Il y a des théorèmes qui résolvent un problème. Et il y en a — plus rares — qui changent ce qu’on est en droit d’espérer. Celui que Kurt Gödel (1906–1978) publie en 1931, à vingt-cinq ans, appartient à la seconde famille : il ne ferme pas une question, il ferme un rêve.

Le rêve de Hilbert

Au tournant du siècle, le grand mathématicien de Göttingen propose un programme d’une ambition totale : asseoir toutes les mathématiques sur un socle d’axiomes dont on démontrerait, une fois pour toutes, qu’ils ne peuvent jamais produire de contradiction — et dont découlerait, par déduction mécanique, toute vérité mathématique. Un édifice complet, cohérent, définitif. « Nous devons savoir, nous saurons » : ainsi conclut-il, le 8 septembre 1930 à Königsberg, le discours d’ouverture du congrès des scientifiques et médecins allemands. Ces six mots seront gravés sur sa tombe. Établi

Königsberg, 7 septembre 1930

Le rêve était mort depuis la veille, et l’orateur ne le savait pas. Dans la même ville se tenait depuis le 5 septembre une petite conférence sur l’épistémologie des sciences exactes. Gödel y avait parlé le samedi, vingt minutes, d’un tout autre résultat — son théorème de complétude, celui de sa thèse. C’est le dimanche, au cours de la discussion générale qui clôturait la rencontre, qu’il lâche presque incidemment la phrase qui compte : on peut donner des exemples d’énoncés vrais quant au contenu et pourtant indémontrables dans le système formel des mathématiques classiques. Un seul homme, dans la salle, mesure aussitôt la portée de ce qu’il vient d’entendre : John von Neumann. Hilbert, lui, était bien à Königsberg — mais pas à cette conférence-là. Il monte à la tribune le lendemain. Établi

Impossible en droit

Gödel démontre que ce programme est irréalisable — non pas difficile, non pas prématuré : impossible en droit. Son premier théorème d’incomplétude établit que tout système d’axiomes cohérent et assez riche pour contenir l’arithmétique élémentaire — savoir compter, additionner, multiplier — contient nécessairement des énoncés vrais qu’il ne peut pas démontrer. Le second enfonce le clou : un tel système ne peut pas non plus démontrer sa propre cohérence. La maison des mathématiques ne peut ni se visiter entièrement de l’intérieur, ni certifier elle-même que ses fondations tiennent. Établi

L’orfèvrerie du miroir

Le ressort de la démonstration mérite d’être savouré. Gödel invente un codage — on dit aujourd’hui la numérotation de Gödel — qui attribue un nombre à chaque énoncé mathématique et à chaque démonstration. Les mathématiques deviennent capables de parler… des mathématiques. Et dans ce miroir, Gödel construit un énoncé qui affirme, en substance : « je ne suis pas démontrable ». S’il était démontrable, le système prouverait un énoncé faux — contradiction. Il est donc vrai, et indémontrable : l’incomplétude est établie. On reconnaît l’ombre du menteur crétois ; mais là où le paradoxe antique tournait en rond, Gödel en fait une machine de précision. Établi

Ce que le théorème ne dit pas

Il est l’un des plus sur-interprétés du vingtième siècle. Il ne dit pas que « la raison a des limites » en général, ni que « tout est relatif », ni que l’esprit humain surpasse les machines — cette dernière lecture, défendue par des auteurs sérieux (Lucas, puis Penrose), reste vivement contestée par les logiciens. Il dit une chose précise sur les systèmes formels, et cette chose précise suffit à sa grandeur. Débattu

1949 : l’univers qui remonte le temps

Un pan de sa vie échappe à cette histoire. Gödel a suivi pendant des années les séminaires de physique de l’Institute for Advanced Study, à Princeton, où il rentrait chaque soir à pied en compagnie d’Einstein. En 1949, pour le numéro de Reviews of Modern Physics qui célébrait les soixante-dix ans de son ami, il livre autre chose qu’un hommage : une solution exacte des équations de la relativité générale — un univers homogène, en rotation, et qui ne s’étend pas. Établi

Sa propriété est stupéfiante. On peut y suivre une trajectoire parfaitement ordinaire, sans jamais dépasser la vitesse de la lumière, et revenir à son propre passé. Ce n’est pas un artifice de calcul : la géométrie l’autorise, et personne avant lui n’avait montré que les équations d’Einstein le permettaient. Einstein, qui confia à Morgenstern y voir l’un des textes les plus importants parus sur la relativité depuis les siens, mit des années à décider ce qu’il fallait en penser. Établi

Notre univers ne ressemble pas à celui-là : il s’étend, et sa rotation d’ensemble, si elle existe, est trop faible pour être détectée. La solution de Gödel ne décrit donc rien de ce que nous habitons — Gödel le savait, et le disait. Mais elle déplace le problème d’un cran, et c’est en cela qu’elle compte : si le voyage dans le passé est impossible, ce n’est pas la relativité générale qui l’interdit. La raison est à chercher ailleurs, et on la cherche encore. Débattu

Pourquoi ouvrir un carnet d’astrophysique par un théorème de logique

Parce que Gödel a fait, pour les mathématiques, exactement ce que ce carnet promet pour la physique : dire du dedans ce qu’un cadre peut établir et ce qu’il ne peut pas. Le code couleur qui accompagne chaque affirmation de la collection — établi, débattu, spéculatif — est un hommage artisanal à cette exigence. Et lorsqu’un volume s’autorise à spéculer sur une réalité qui serait, au fond, computationnelle (Les Trous Noirs, partie IV), le théorème monte la garde : même un univers-calcul aurait ses énoncés indécidables. Spéculatif

L’honnêteté n’est pas une faiblesse du savoir. Depuis 1931, c’en est un théorème.