Mathématicien austro-américain (1906-1978), Kurt Gödel a révolutionné la logique mathématique avec ses théorèmes d'incomplétude (1931). Il a démontré qu'aucun système formel suffisamment puissant ne peut être à la fois complet et cohérent.
Kurt Gödel(1906 — 1978)
Kurt Gödel
États-Unis, Autriche, Tchécoslovaquie, Cisleithanie
9 min de lecture
Questions fréquentes
Citations célèbres
« La vérité d'une proposition mathématique ne dépend pas de sa démontrabilité.»
« Je suis convaincu que l'existence du monde est plus facile à prouver que celle de Dieu.»
Faits marquants
- 1906 : naissance à Brünn (Brno), alors en Autriche-Hongrie
- 1931 : publication des théorèmes d'incomplétude dans Über formal unentscheidbare Sätze
- 1938 : démontre la cohérence de l'hypothèse du continu avec les axiomes de Zermelo-Fraenkel
- 1940 : émigre aux États-Unis, rejoint l'Institute for Advanced Study de Princeton
- 1978 : mort à Princeton, victime de malnutrition après avoir refusé de s'alimenter
Œuvres & réalisations
Gödel démontre que tout énoncé logiquement valide du calcul des prédicats du premier ordre peut être prouvé à partir d'un ensemble fini d'axiomes. C'est sa première grande contribution, qui établit immédiatement sa réputation de logicien exceptionnel.
Son œuvre maîtresse : tout système formel cohérent et suffisamment expressif contient des vérités indémontrables en son sein, et ne peut pas prouver sa propre cohérence. Ces résultats bouleversent définitivement le programme de Hilbert et les fondements des mathématiques.
Gödel démontre que l'axiome du choix et l'hypothèse du continu ne peuvent pas être réfutés à partir des axiomes de Zermelo-Fraenkel. Combiné au résultat de Cohen (1963), ce résultat établit que ces questions sont fondamentalement indécidables.
En hommage à Einstein pour ses 70 ans, Gödel propose des solutions aux équations de la relativité générale admettant des courbes temporelles fermées, impliquant théoriquement la possibilité de voyages dans le temps. Einstein lui-même fut frappé par cet inattendu résultat cosmologique.
Essai philosophique dans lequel Gödel défend le réalisme mathématique (platonisme) et affirme que les objets mathématiques existent indépendamment de l'esprit humain. Il exprime sa conviction que le problème du continu a une réponse objective, même si nos systèmes actuels ne peuvent la trouver.
Formalisation rigoureuse en logique modale de l'argument ontologique d'Anselme de Cantorbéry, développée en secret et non publiée de son vivant. Retrouvée dans ses carnets posthumes, elle est aujourd'hui analysée par des logiciens et des philosophes de la religion.
Anecdotes
En 1948, lors de son entretien pour obtenir la citoyenneté américaine, Gödel prévient le juge qu'il a découvert une contradiction logique dans la Constitution des États-Unis permettant théoriquement d'instaurer une dictature légale. Einstein et Oskar Morgenstern, ses témoins, doivent l'interrompre pour éviter un incident diplomatique. Le juge, amusé, lui accorde néanmoins la citoyenneté.
Chaque jour à Princeton, Gödel et Albert Einstein faisaient une longue promenade ensemble depuis l'Institute for Advanced Study. Einstein confiera un jour que sa principale raison de continuer à venir à l'Institut était « le privilège de pouvoir rentrer à pied en compagnie de Gödel ». Ces deux génies formaient un duo intellectuel légendaire, admiré de tous leurs collègues.
Gödel était hypocondriaque et redoutait d'être empoisonné : il n'acceptait que les repas préparés par son épouse Adele. Quand celle-ci fut hospitalisée six mois en 1977-1978, il refusa de s'alimenter, persuadé que personne d'autre ne pouvait le faire en toute sécurité. Il mourut le 14 janvier 1978 de malnutrition sévère, ne pesant plus que 30 kilogrammes.
Lorsque Gödel présenta ses théorèmes d'incomplétude en 1930 au congrès de Königsberg, seul John von Neumann perçut immédiatement leur portée révolutionnaire. Il s'entretint longuement avec Gödel après la séance et, de retour à Princeton, développa lui-même une preuve alternative — pour apprendre que Gödel l'avait déjà rédigée.
Gödel était convaincu d'avoir établi une preuve formelle de l'existence de Dieu, formulée en logique modale. Il n'osa jamais la publier de son vivant, craignant de nuire à sa réputation scientifique. Retrouvée dans ses carnets après sa mort, cette preuve ontologique est aujourd'hui étudiée par des logiciens et des philosophes du monde entier.
Sources primaires
On peut montrer que dans tout système formel cohérent suffisamment puissant, il existe des propositions qui ne peuvent être ni prouvées ni réfutées à l'intérieur de ce système.
Tout énoncé valide de la logique des prédicats du premier ordre peut être prouvé à partir des axiomes du calcul des prédicats — le calcul logique est donc complet.
L'axiome du choix et l'hypothèse du continu généralisée sont consistants avec les axiomes de la théorie des ensembles de Zermelo-Fraenkel : on ne peut pas en démontrer la négation dans ce cadre.
Le problème du continu demande s'il existe un ensemble infini dont la cardinalité soit strictement comprise entre celle des entiers naturels et celle des nombres réels. La réponse n'est pas déductible des axiomes habituels des mathématiques.
J'ai découvert dans la Constitution américaine des dispositions légales qui permettraient d'établir une tyrannie légale, bien que personne ne semble s'en être rendu compte jusqu'à présent.
Lieux clés
Ville natale de Gödel, alors centre intellectuel et industriel multiculturel de l'Empire austro-hongrois. C'est dans cette ville que Gödel passa son enfance et reçut sa première formation scolaire.
Lieu d'études et de travail de Gödel de 1924 à 1939. C'est là qu'il fréquenta le Cercle de Vienne, soutint sa thèse et développa ses célèbres théorèmes d'incomplétude qui allaient révolutionner les mathématiques.
Institution où Gödel travailla de 1940 jusqu'à sa mort en 1978, aux côtés d'Einstein et d'autres grands scientifiques. C'est là qu'il produisit ses travaux sur la théorie des ensembles, la cosmologie et la philosophie des mathématiques.
Ville où Gödel mentionna pour la première fois ses théorèmes d'incomplétude lors du congrès de philosophie des sciences de 1930, dans un exposé dont seul von Neumann perçut immédiatement l'importance révolutionnaire.
Maison modeste où Gödel et son épouse Adele vécurent pendant leurs années américaines, à quelques minutes à pied de l'IAS. Les pièces de travail étaient remplies de livres et de carnets ; Gödel y recevait rarement des visiteurs.
Objets typiques
Gödel remplissait des carnets entiers de symboles logiques et de preuves formelles, rédigés en sténographie allemande Gabelsberger pour dissimuler ses pensées. Ses Nachlass, conservés à Princeton, témoignent de la rigueur extrême et de la profusion de sa réflexion.
Cet ouvrage en trois volumes, étudié minutieusement par Gödel à Vienne, est le système formel que ses théorèmes d'incomplétude contribuèrent à démythifier : même ce monument de rigueur ne pouvait prouver toutes les vérités arithmétiques.
Gödel était connu à Princeton pour son long manteau blanc qu'il portait lors de ses promenades quotidiennes avec Einstein. Cette tenue caractéristique le rendait immédiatement reconnaissable sur le campus de l'IAS.
Hypocondriaque notoire, Gödel prenait sa température plusieurs fois par jour et consignait ses observations dans un journal de santé minutieux. Cette obsession de surveiller son corps était l'une des expressions les plus visibles de son anxiété chronique.
Gödel rédigeait sa correspondance scientifique et administrative à la machine, avec une précision et une rigueur caractéristiques. Ses lettres à Einstein, von Neumann ou Morgenstern sont aujourd'hui des documents historiques de première importance.
À l'Institute for Advanced Study, Gödel utilisait les tableaux noirs des salles de séminaire pour exposer ses preuves lors de rares conférences publiques, préférant généralement le travail solitaire dans son bureau.
Programmes scolaires
Vocabulaire & tags
Vocabulaire clé
Tags
Vie quotidienne
Matin
Gödel se levait tard, souvent après 10 heures du matin. Il prenait un petit-déjeuner léger préparé exclusivement par son épouse Adele, contrôlant parfois sa composition avec méfiance. Il commençait sa journée par la lecture de correspondances scientifiques et la révision minutieuse de ses carnets de notes.
Après-midi
Les après-midis étaient souvent consacrés aux longues promenades avec Einstein sur le campus de l'IAS, durant lesquelles les deux hommes débattaient de physique, de logique et de philosophie. De retour dans son bureau, Gödel travaillait sur ses preuves avec une concentration intense, refusant généralement les visites et déclinant la plupart des invitations sociales.
Soir
Gödel travaillait volontiers très tard le soir, trouvant le calme nocturne propice à la réflexion mathématique. Il notait ses idées dans ses carnets en sténographie Gabelsberger. Il regardait parfois la télévision avec Adele tout en gardant à portée de main ses médicaments et son thermomètre.
Alimentation
Son alimentation était extrêmement restrictive par peur de l'empoisonnement : il n'acceptait que les plats préparés par Adele. Il consommait surtout des aliments simples — céréales, beurre, lait — et prenait de nombreux médicaments et compléments alimentaires. Cette obsession s'aggrava dramatiquement au fil des années, conduisant à sa mort par inanition en 1978.
Vêtements
À Princeton, Gödel était reconnaissable à son long manteau blanc distinctif porté lors de ses promenades. En hiver, il s'habillait très chaudement avec manteaux épais et chapeau, craignant constamment les courants d'air et les maladies. Sa tenue était toujours soignée dans un style européen sobre et discret.
Habitat
Gödel et Adele vivaient dans une maison modeste au 129 Linden Lane à Princeton, à quelques minutes de l'IAS. La maison était simplement meublée et ordonnée ; les espaces de travail de Gödel étaient remplis de livres, de revues mathématiques et de carnets. Il refusait généralement d'y recevoir des visiteurs, préférant les échanges lors de promenades ou dans son bureau à l'Institut.
Frise contextuelle
Vocabulaire d'époque
Liens externes & ressources
Références
Œuvres
Théorème de complétude de la logique du premier ordre (thèse de doctorat)
1929
Théorèmes d'incomplétude (Über formal unentscheidbare Sätze…)
1931
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis
1940
Rotating Universes in General Relativity Theory
1949
What is Cantor's Continuum Problem?
1947
Preuve ontologique de l'existence de Dieu (logique modale)
1970
