Kurt Gödel(1906 — 1978)
Kurt Gödel
États-Unis, Autriche, Tchécoslovaquie, Cisleithanie
9 min de lecture
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.
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.
