text:
# Kurt Gödel
Pour les articles homonymes, voir Godel.
Kurt Gödel est un logicien et mathématicien autrichien naturalisé américain,, né le 28 avril 1906 à Brünn (Autriche-Hongrie) et mort le 14 janvier 1978 à Princeton (New Jersey).
Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Ces propositions sont qualifiées d'indécidables.
Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives.
Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne (Autriche). Devenu privat-docent dans cette institution, il en est chassé après l'Anschluss. Il émigre avec sa femme pendant la Seconde Guerre mondiale aux États-Unis. Atteint de troubles mentaux depuis plusieurs années, il parvient néanmoins à être naturalisé grâce au soutien de ses amis Oskar Morgenstern et Albert Einstein, et intègre de façon permanente l'université de Princeton après la guerre. Toutefois, ses troubles se transforment en délire de persécution au milieu des années 1970 et accélèrent sa fin.

## Biographie

### Enfance
Kurt Gödel est le fils cadet de Rudolf Gödel, directeur et copropriétaire d'une grande entreprise textile de Brno, dans l'actuelle Tchéquie, et de Marianne Handschuh. Rudolf Gödel a deux fils : l'aîné, également prénommé Rudolf, et Kurt. Ni l'un ni l'autre ne suivent ses pas sur le chemin de l'industrie ou du commerce. Rudolf fils devient un médecin de renom à Vienne où il dirigera une clinique réputée.
Au sein de cette famille germanophone, le petit Kurt pose des questions avec tant d'insistance sur tout ce qu'il voit, qu'il est surnommé Der Herr Warum (Monsieur Pourquoi). À l'âge de six ans, il est frappé par une crise de fièvre rhumatismale, qui le cloue au lit pendant plusieurs jours, mais dont il se rétablit complètement, du moins physiquement. À l'âge de douze ans, lors du démembrement de l'Autriche-Hongrie le 28 octobre 1918, il devient de fait tchécoslovaque. À Brno, il est un brillant élève à l'école primaire, puis secondaire qu'il termine avec les honneurs en 1923. C'est à l'âge de quinze ans qu'il prend la ferme décision de se consacrer à la physique,.

### Études à Vienne
Bien que Gödel ait d'abord excellé en langues (dans sa jeunesse, il parlait et écrivait un français et un anglais parfaits), à l'âge de dix-huit ans, il rejoint son frère à l'université de Vienne pour y entamer des études de physique, qu'il abandonne assez rapidement. À cette époque, Philipp Furtwängler, un mathématicien allemand spécialisé en arithmétique supérieure, enseigne à Vienne, ses cours sont célèbres pour leur excellence et leur clarté. Le jeune Gödel demeure tellement marqué par les cours de Furtwängler qu'il abandonne ses études de physique pour se consacrer aux mathématiques. Nous savons très peu de choses sur la vie privée de Gödel pendant ses années d'études à Vienne. Il allait épouser une femme de dix ans son aînée, mais ses parents s'y opposent, et Kurt renonce à ce mariage. Apparemment, il consacrait le plus clair de son temps aux études. C'est cependant à l'université de Vienne qu'il rencontre à vingt ans celle qui deviendra — tardivement, soit onze ans après — sa femme, Adele Porkert.
C'est à cette époque qu'il adhère au réalisme mathématique. Il lit Metaphysische Anfangsgründe der Naturwissenschaft (Premiers principes métaphysiques de la science de la nature) de Kant. En 1926, il est invité par Moritz Schlick, son ancien professeur en philosophie des sciences à l'université, à assister aux réunions hebdomadaires du Cercle de Vienne dont Hans Hahn (futur directeur de thèse de Gödel), Rudolf Carnap et Schlick lui-même étaient membres. Lors de ces réunions étaient abordés des sujets de mathématiques et notamment les solutions proposées par Russell, Brouwer et Hilbert au problème de la crise des fondements. C'est sans doute dans ce contexte que Gödel acquiert pour la première fois sa profonde connaissance du programme formaliste. Il assiste aux réunions avec assiduité jusqu'en 1928, uniquement en tant qu'auditeur. Après avoir participé au Cercle de Vienne, Gödel décide, en 1928, de se consacrer définitivement à la logique mathématique (intérêt qu'il développe à la suite d'un séminaire de Schlick). Il assiste à une conférence de David Hilbert à Bologne sur la complétude et la cohérence des systèmes mathématiques.
Durant l'année 1929, il achève sa thèse de doctorat portant sur un problème lié au programme de Hilbert et la soumet, le 6 février 1930, à l'université de Vienne. Il la présente sous forme d'article la même année. Ce travail, qui constitue sa première publication scientifique, figure dans le numéro 37 (1930) de la revue Monatshefte für Mathematik und Physik sous le titre La complétude des axiomes du calcul logique de premier ordre. Toujours en 1929, Gödel devient citoyen autrichien. Puis, en 1932, il obtient son diplôme à l'université de Vienne.
La publication de son premier théorème d'incomplétude, en 1931, fait de Gödel une célébrité internationale dans le monde des mathématiques. Son nom commence à être cité dans tous les forums et congrès, et sa démonstration devient — et reste encore aujourd'hui — un classique du raisonnement mathématique. Il ne peut profiter immédiatement de sa célébrité méritée, car, une fois son article terminé, il connaît de graves troubles nerveux pendant plusieurs mois, conséquence indéniable du stress engendré par la présentation de son théorème.
Quant au second théorème d'incomplétude, l'article de 1931 ne fournit que les grandes lignes du déroulement de sa démonstration, Gödel proposant de le démontrer dans une seconde partie de l'article. Cependant, ses troubles nerveux l'empêchent de le rédiger dans les mois qui suivent et, lorsqu'il est enfin remis, il se rend compte que les démonstrations de ses deux théorèmes — y compris celle du second simplement évoquée — sont si bien acceptées que toute clarification ultérieure serait inutile.
Après avoir surmonté ses troubles nerveux, il devient en 1933 Privatdozent (maître de conférences) de l'université de Vienne.
Il est invité la même année à donner une conférence lors de la réunion annuelle de l'American Mathematical Society. Lors de ce premier voyage, il fait la connaissance d'Albert Einstein qui avait émigré aux États-Unis en 1932. Entre eux naît une amitié qui durera jusqu'au décès d'Einstein en 1955. Au cours des deux années suivantes, 1934 et 1935, il se rend à nouveau aux États-Unis où il est invité à deux reprises par l’Institut d'Études avancées de Princeton. Il y donne plusieurs cours et conférences sur ses deux théorèmes d'incomplétude ainsi que sur d'autres thèmes — qu'il avait abordés lors de recherches ultérieures —, dont la calculabilité et les fonctions récursives ; en particulier, il donne une conférence sur les fonctions récursives générales et sur le concept de vérité. Au cours de ses voyages aux États-Unis, Gödel expose ses méthodes, ses idées, les problèmes auxquels il réfléchit et cela stimule l'école américaine de logique mathématique ainsi que la logique mathématique en général.
Cependant, le 22 juin 1936, a lieu l'assassinat, par Johann Nelböck, un jeune étudiant mentalement dérangé, de Moritz Schlick ; ce crime affecte particulièrement Gödel qui traverse sa première dépression. Il retourne à Princeton au cours de la même année. Les voyages et ses travaux l'épuisent, si bien qu'il consacre la plus grande partie de l'année suivante à soigner une nouvelle dépression. Il revient à l'enseignement en 1937, période durant laquelle il travaille à la démonstration de la cohérence relative et de l'indépendance de l'hypothèse du continu. Il achoppe à démontrer l'indépendance (ce qui ne sera fait qu'en 1963, par Paul Cohen), mais il réussit à établir que l'hypothèse du continu ne peut pas être réfutée à partir des axiomes de la théorie des ensembles.
Après l'Anschluss de 1938, l'Autriche tombe sous la coupe de l'Allemagne nazie. Cette dernière ayant aboli le titre de Privatdozent, Gödel perd son emploi. Cela ne l'empêche pas de se marier à l'université de Vienne, le 20 septembre 1938, avec Adele Porkert, une danseuse divorcée de six ans son aînée, qu'il avait rencontrée en 1927. Ses liens avec des professeurs juifs, comme son tuteur de thèse Hans Hahn, lui causent des problèmes. En 1938 et 1939, il se rend à nouveau à l'Institut d'études avancées et, au cours de ces voyages, en plus de donner des cours et des conférences, il prend des contacts institutionnels en vue de préparer sa future admission en tant que professeur, au cas où il devrait quitter l'Autriche. De retour à Vienne, après son second voyage, il est attaqué par un groupe d'étudiants d'extrême droite. Sa présence en tant qu'intellectuel indépendant étant une gêne pour les nazis, en octobre 1939, il est inscrit sur une « liste noire ». Cette inscription officialise son statut de chômeur et, sous le régime nazi, les chômeurs sont presque systématiquement recrutés par l'armée. En effet, peu de temps après, il reçoit son ordre d'incorporation. Au lieu de rejoindre son régiment, Kurt Gödel fuit l'Autriche, en compagnie d'Adele Porkert, en janvier 1940 et se rend aux États-Unis par l'un des chemins les plus longs qui soient, c'est-à-dire à travers la Russie, la Sibérie, le Japon et l'Océan Pacifique. Ils arrivent à San Francisco le 4 mars suivant, après avoir emprunté le Transsibérien et traversé l'océan Pacifique incognito, de peur d'être arrêtés,,.

### Émigration aux États-Unis
Grâce à ses contacts, Gödel obtient immédiatement un poste de professeur invité à l'Institut d'études avancées de Princeton. En 1946, il y est intégré de façon permanente et, à la fin de l'année 1947, il doit subir un examen en vue de sa naturalisation, avec pour témoins ses amis Oskar Morgenstern et Albert Einstein. Pour une personne possédant ces références, il s'agit d'une formalité, mais Gödel se prépare avec une extrême minutie, et alors qu'il étudie la constitution américaine, il pense y découvrir une faille logique ultérieurement nommée d'après Gödel qui permettrait de transformer en toute légalité le régime politique du pays en régime dictatorial. Il fait part de sa découverte à ses deux amis, fort inquiets que Gödel n'aborde le sujet avec le juge chargé de l'entretien préalable à la naturalisation. Tous deux sont convaincus d'avoir réussi à en dissuader Gödel, mais en quelques phrases le sujet revient : le juge s'enquiert d'abord du régime politique en vigueur en Autriche, Gödel répond que celui-ci, autrefois une démocratie, s'est transformé en dictature ; le juge rétorque qu'une telle chose ne pourrait arriver en Amérique, mais Gödel soutient le contraire, et dit qu'il peut le prouver. Le juge, qui connaît Einstein, décide de terminer l'entretien sans son explication, qui ne sera jamais révélée,,.

### Fin de vie
Ses troubles mentaux s'aggravent et, au milieu des années 1970, se transforment en délire de persécution. Il se fait de plus en plus de souci pour sa santé, se convainc de l'existence d'un complot visant à l'empoisonner. Il refuse d'ailleurs de manger à moins qu'Adele ne goûte d'abord les aliments. Fin 1977, Adele doit être hospitalisée pendant six mois pour différents problèmes de santé et Gödel, qui reste seul avec ses peurs et ses obsessions, cesse pratiquement de s'alimenter, tombant progressivement dans la cachexie. Il doit être interné à l'hôpital de Princeton où il meurt le 14 janvier 1978 ; il pesait alors 65 livres (29,5 kg),.

### Portrait
Enfant timide et introverti, il demeure toujours très attaché à sa mère — dotée d'une grande sensibilité artistique — et se sent quelque peu perdu lorsqu'elle n'est pas à la maison. Son caractère timide et introverti le suivra toute sa vie. Il n'est pas un boute-en-train, ne fait rire personne avec ses plaisanteries, mais n'en a pas non plus besoin. La crise de fièvre rhumatismale qui l'a frappé à l'âge de six ans est, selon son frère médecin, responsable de sa profonde hypocondrie, une des principales caractéristiques de sa personnalité. Adulte, Gödel est fortement pessimiste quant au destin de l'humanité, une attitude courante lors des premières années de l'ère nucléaire.

### Métaphysique
À partir de 1950, Gödel publie peu, mais ne cesse de penser ni d'écrire, et il laisse à sa mort un nombre impressionnant de manuscrits inédits consacrés principalement à la philosophie et à la théologie, avec des recherches, entre autres, sur l'existence de Dieu, la transmigration des âmes ou l'analyse des travaux philosophiques de Leibniz. Parmi ces écrits inédits, se trouve le texte de la conférence de Gibbs que Gödel fut invité à dicter lors de la réunion annuelle de l'American Mathematical Society, organisée le 26 décembre 1951 à Providence, aux États-Unis. Au cours des années suivantes, il se consacre à l'amélioration de son manuscrit dans le but de le publier, mais ne parvient jamais à lui donner une forme qui lui semble acceptable. Finalement, il est publié en 1994 dans un volume intitulé Kurt Gödel : essais inédits. Concrètement, il soutient, lors de cette conférence, que ses théorèmes démontrent que le platonisme mathématique constitue la position correcte en philosophie des mathématiques,,.
Âgé de 70 ans, Gödel, qui est profondément mystique, fait circuler parmi ses amis un document proposant une preuve ontologique de l'existence de Dieu, inspirée de l'argument d'Anselme de Cantorbéry et de travaux de Leibniz et connue aujourd’hui sous le nom de « preuve ontologique de Gödel ». Il s'intéressait aussi beaucoup aux visions des grands mystiques comme sainte Catherine Emmerich ou Grégoire Palamas.
Gödel, en plus de sa foi en Dieu, s'interroge sur l'existence des anges et du diable. Laurent Lemire écrit : « Kurt Gödel, (...)  auteur du théorème d'incomplétude, croit aux anges et au diable dans un univers mathématique, un univers « idéal », par opposition à l'univers réel perceptible, dans lequel vivraient les « anges » et « démons », comme nous vivons dans l'univers réel. Persuadé qu’on veut l’empoisonner, il meurt, volontairement affamé, ». Cela provient de ses réflexions sur l'intuition et l'incomplétude, en effet, puisque l'intuition a parfois produit des thèses mathématiques ne pouvant ni être démontrées, ni être infirmées mathématiquement, il considère que soit le cerveau est une machine de Turing, et il existe donc des problèmes indécidables pour l'humain, ce qui signifie que « les propriétés mathématiques qui nous échappent ont une existence autonome », soit le cerveau surpasse les machines de Turing, et donc l'esprit humain est « une réalité indépendante du monde sensible ». La difficulté de cette approche est la communication du cerveau, matériel et fini, avec cet univers idéel : il envisage l'existence d'un « organe de l'intuition » ayant accès à cet univers idéel, malgré les difficultés de cette spéculation.
Une conséquence de sa vision d'un monde réel limité voulu par Dieu, est que la recherche, la métaphysique ou la philosophie, sont en contradiction avec cette volonté de limitation de la compréhension du monde. Ce point alimente ses craintes, et il va même jusqu'à estimer les grands penseurs en danger,.
Gödel préfère rester discret sur cette conception du monde, qui n'est décrite que dans ses notes personnelles : « je ne rends publiques que les parties de ma philosophie qui se prêtent le moins à la controverse ».
La philosophie de Gödel est marquée par la double influence de Leibniz et de Husserl. D'abord influencé par le premier, il finit par s'en éloigner à la suite de ses résultats sur les théorèmes d'incomplétude. Il souhaitait constituer une métaphysique exacte combinant des éléments de la monadologie de Leibniz, et la phénoménologie de Husserl.
Dans After Godel: Platonism and Rationalism in Mathematics and Logic, Richard Tieszen présente un exposé approfondi de la philosophie de Gödel et s'appuyant sur ses carnets et des témoignages, comme ceux de Wang Hao.

## Parcours

### Travaux à Vienne
Il prouve dans sa thèse, présentée le 6 février 1930 la complétude de la logique classique du premier ordre, c'est-à-dire que toute formule valide est démontrable, résultat qui fut publié par l'Académie des sciences de Vienne. Le théorème démontré, connu aujourd'hui comme Théorème de complétude de Gödel, est interprété à l'époque comme un indice révélant que le programme de Hilbert est réalisable.
Une fois établie la base logique permettant d'effectuer des démonstrations vérifiables à l'aide d'un algorithme, il ne reste plus qu'à découvrir les axiomes permettant de démontrer toutes les vérités arithmétiques.
Malheureusement pour le programme de Hilbert, cet objectif est inatteignable. Le théorème énonçant cette impossibilité est connu sous le nom de premier théorème d'incomplétude, exposé ouvertement pour la première fois au congrès de Königsberg le 7 septembre 1930. L'article contenant le développement de la démonstration est envoyé au magazine Monatshefte für Mathematik und Physik en novembre et paraît dans l'édition No 38 en 1931. Il prouve que pour tout système axiomatique assez puissant pour décrire les nombres naturels, on peut affirmer que :
1. il ne peut être à la fois cohérent et complet (ce qui est le théorème connu sous le nom de « premier théorème d'incomplétude ») ;
2. si le système est cohérent, alors la cohérence des axiomes ne peut pas être prouvée au sein même du système (ce qui est le théorème connu sous le nom de « second théorème d'incomplétude ») .

L'article ne contient pas de démonstration détaillée de ce second théorème, mais en expose les grandes lignes.
Le principe du théorème d'incomplétude est simple. Gödel a essentiellement bâti « une formule qui énonce qu'elle n'est pas démontrable » dans un système formel donné. Si cette formule était démontrable, cela signifierait que l'on pourrait démontrer « qu'elle n'est pas démontrable », d'où la contradiction. Donc, cette formule n'est pas démontrable. C'est bien ce qu'elle énonce, donc elle est valide. Il existe donc une formule valide non démontrable.
Pour préciser ces faits, Gödel a eu besoin de résoudre de nombreux problèmes techniques, comme le « codage des démonstrations » et « le concept même de démontrabilité » au sein des nombres entiers. Il a aussi eu besoin d'un procédé pour décrire une formule qui énonce sa propre non-démontrabilité : le procédé « diagonal ». Ces détails sur la forme expliquent pourquoi sa publication de 1931 est aussi longue et ardue à lire et pourquoi ses contemporains, à l'exception notable de John von Neumann et Alfred Tarski, n'ont pas compris son résultat.

### Travaux à Princeton
À Princeton, il se tourne encore plus vers la philosophie et la physique. Entre 1943 et 1946, il étudie de « façon assez systématique » les travaux de Leibniz. Il étudie aussi, à un moindre degré, ceux de Kant et de Husserl.
Des conversations entre Gödel et Einstein découlent les articles que Gödel écrit sur la théorie de la relativité. Le premier, rédigé en anglais, a pour titre Un exemple d'un nouveau type de solutions cosmologiques aux équations einsteiniennes du champ gravitationnel, est publié dans la revue Reviews of Modern Physics en 1949. Dans cet article, il propose une solution aux équations d'Einstein, qui consiste en la description d'un univers en rotation, homogène, fermé et stable — c.à.d. qui n'est pas en expansion —, avec des lignes de temps fermées. Les « univers tournants » auraient rendu possible le voyage dans le temps, et poussent Einstein à douter de sa propre théorie. Aujourd'hui, ce type de solution est considéré comme une curiosité mathématique sans grand intérêt physique, mais dont le mérite est d'avoir stimulé la recherche d'autres solutions exactes aux équations d'Einstein.[réf. souhaitée]
Un deuxième article sur la relativité, publié en 1949, est intitulé Une remarque au sujet de la relation entre la théorie de la relativité et la philosophie idéaliste étudie certaines conséquences philosophiques qui peuvent être tirées de la théorie de la relativité en rapport avec la nature du temps, « cet être mystérieux et apparemment autocontradictoire qui, par ailleurs, paraît constituer le fondement de notre existence et de celle du monde » (extrait du même article). En 1952, il publie son troisième et dernier travail sur la relativité, intitulé Univers rotatifs dans la théorie générale de la relativité, dans lequel Gödel expose de nouvelles solutions aux équations d'Einstein nouvellement constituées d'univers en rotation, bien que celles-ci ne possèdent pas toutes de lignes temporelles fermées.
Le dernier travail scientifique sur la logique mathématique signé par Gödel paraît sous la forme d'un ouvrage publié en 1940 par les Presses universitaires de Princeton et qui n'est pas directement rédigé par Gödel, puisqu'il s'agit de l'édition des notes d'un cours dicté entre 1938 et 1939 à l'Institut d'études avancées. L'ouvrage d'environ soixante-dix pages s'intitule La consistance de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles et expose la résolution partielle du premier problème posé par David Hilbert, connu comme l'Hypothèse du continu. Il introduit dans ce travail la notion d'univers constructible, modèle de la théorie des ensembles dans lequel les seuls ensembles existants sont ceux qui peuvent être construits à partir d'ensembles plus élémentaires. Gödel prouve qu'aussi bien l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans un univers constructible, et doivent donc être cohérents. Il a aussi l'intuition de la notion de problème NP-complet,.

## Honneurs
En mars 1951, Gödel reçoit avec le physicien Julian Schwinger le premier prix Einstein, puis est nommé docteur honoris causa dans plusieurs universités dont Yale et Harvard et se voit décerner la National Medal of Science en 1974. En 1985 un astéroïde (3366) Gödel est nommé en honneur de Kurt Gödel.

## Distinctions
- La société Kurt Gödel, fondée en 1987, est baptisée en son honneur[n 26],[43].
- Un prix Gödel, qui récompense les meilleurs travaux en informatique théorique, est fondé en son honneur en 1992.
- L'astéroïde (3366) Gödel porte son nom.

## Œuvres
- Collected Works, Oxford University Press, 5 volumes publiés de 1986 à 2003 sous la direction de Solomon Feferman, J. W. Dawson, Stephen Cole Kleene, Gregory H. Moore, Robert Martin Solovay et Jean van Heijenoort.
  - vol. I : Publications 1929-1936.
  - vol. II : Publications 1938-1974.
  - vol. III : Unpublished Essays and Lectures
  - vol. IV : Correspondence A-G
  - vol. V : Correspondence H-Z
- Philosophische Notizbücher, Walter de Gruyter, 3 volumes parus sous la direction d'Eva-Maria Engelen (de).

### Essais et articles scientifiques / épistémologiques
- Pierre Cassou-Noguès, Gödel, Paris, Les Belles Lettres, coll. « Figures du savoir » (no 34), 2004, 190 p. (ISBN 978-2-251-76040-7).
- Pierre Cassou-Noguès, « Le programme de Gödel et la subjectivité mathématicienne », Cahiers du Centre François Viète, no 3, Nantes, 2003, p. 31-56.
- Pierre Cassou-Noguès, Les Démons de Gödel. Logique et folie, Paris, Seuil, 2007, 279 p. (ISBN 978-2-02-092339-2 et 2-02-092339-4).
- (en) John W. Dawson, « Gödel and the Limits of Logic », Scientific American, juin 1999, en ligne.
- Jean-Paul Delahaye, Aux frontières des mathématiques - Kurt Gödel et l'incomplétude, Paris, Dunod, 2025, 240p.  (ISBN 978-2-100-85641-1)
- Gianbruno Guerrerio, Gödel - Logique à la folie, Pour la science, série « Les génies de la science ».
- Stephen Cole Kleene, Introduction to Metamathematics, Amsterdam, North-Holland, 1952, x+550 (SUDOC 005505526, présentation en ligne).  —  Nombreuses réimpressions, en 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000, 2009 notamment par Wolters-Noordhoff (Groningen)  (ISBN 0720421039), d'après la notice Sudoc. Nombreuses traductions.
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard, Le théorème de Gödel, Éditions du Seuil, 1989 [détail de l’édition] (ISBN 2-02-010652-3). Fournit, entre deux commentaires assez accessibles (sans trop de formalisme mathématique et qui resituent l'œuvre-maîtresse de Gödel au sein de ses enjeux théoriques, historiques, philosophiques), une traduction en français (pour la première fois) de la démonstration originelle de Gödel de ses théorèmes d'incomplétude.
- Gustavo Ernesto Piñeiro (trad. de l'espagnol par Anne-Lucie Fernandez et Julie Soubeyrand), Deux théorèmes qui révolutionnèrent les mathématiques : Gödel, Barcelone, RBA Coleccionables, 2018, 167 p. (ISBN 978-84-473-9555-2).

### Philosophie, biographie, esthétique
- Gustavo Ernesto Piñeiro (trad. de l'espagnol par Anne-Lucie Fernandez et Julie Soubeyrand), Peut-on décider de ce qui est vrai ? — Gödel et le théorème d'incomplétude, Paris, RBA France, 2015, 167 p. (ISBN 978-28-237024-1-5)
- Hao Wang, Gödel, éditions Armand Colin, Paris, 1990.  (ISBN 2-200-24020-1)
- (en) Hao Wang, A logical journey : from Gödel to philosophy [« Un cheminement [dans la] logique : de Gödel à la philosophie »], Cambridge (Mass.), MIT Press, 1996, 391 p. (ISBN 0262231891, OCLC 468405923) « Cet ouvrage, comme Wang l'indique dans sa préface, est une suite de ses “Réflexions sur Kurt Gödel” ; et, comme son précédent livre, il ne s'inscrit pas nettement dans un genre philosophique courant. C'est en partie une biographie de Gödel, en partie les mémoires intellectuelles de Wang, en partie une exposition des vues philosophiques de Gödel, et en partie un développement de ses propres vues à lui, Wang [qui est lui-même logicien et philosophe, NdT] »[44],[trad 1]. « Ce livre, très attendu, contient les notes et enregistrements de Hao Wang sur les conversations qu’il a tenues avec Kurt Gödel de 1971 à 1976, classées par sujets ([...] philosophie de la connaissance / de l'esprit, des mathématiques, de la logique et de la théorie des ensembles), ainsi que quelques réflexions de Wang sur la vie de Gödel, sa personnalité et ses idées »[45],[trad 2]. « Le livre était à l'origine destiné à être une présentation publique accessible des discussions que Wang a eues avec Gödel. Dans la tentative de réaliser l'objectif d'accessibilité, cependant, Wang est allé au-delà du compte rendu des conversations. Comme il le dit, “Dans le cadre de mes efforts pour résoudre les différentes ambiguïtés dans mes notes [sur les conversations], j'ai sélectionné, interprété et extrapolé les observations [de Gödel] le long de chemins qui me conviennent à moi [pour les comprendre]” »[44],[trad 3].
- (en) Jiří Prcházka, Kurt Gödel /1906-1978/ Curriculum vitae, Volumen I,  (ISBN 978-80-903476-9-4), Brno, Wien, Princeton 2017.
- (en) Jiří Proházka, Kurt Gödel /1906-1978/ Curriculum vitae, Volumen II,  (ISBN 978-80-903476-1-8), Brno, Wien, Princeton 2019.
- Palle Yourgrau (trad. de l'anglais par Christian Jeanmougin, préf. Thibault Damour), Einstein/Gödel. Quand deux génies refont le monde, Paris, Dunod, 2005, 289 p. (ISBN 2-10-048735-3).  Essai sur les enjeux philosophiques de l'amitié et des nombreuses conversations scientifiques / épistémologiques qu'échangèrent Einstein et Gödel de 1942 à 1955 à Princeton, notamment sur des sujets fondamentaux : le temps existe-t-il vraiment ? Quel est le sens profond de la théorie de la Relativité ? Quelle est la structure de l'univers ? Son devenir et son sens ? Quelle est la réalité des mathématiques et des théories physiques ?
- Douglas Hofstadter, Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle, 1979 (V.O.), 1985 (pour la première édition de la traduction en français).
  - Édition originale en anglais : (en) Douglas Hofstadter, Gödel, Escher, Bach : an Eternal Golden Braid[trad 4], Basic Books, 31 mai 1979 (ISBN 978-0465026852 et 0465026850).
  - Version disponible en anglais (États-Unis, a obtenu le prix Pulitzer) : (en) Douglas Hofstadter, Gödel, Escher, Bach : an Eternal Golden Braid, Basic Books, 1999, réédition augmentée “20th aniversary edition”, 777 p. (ISBN 978-0465026562 et 0465026567).
  - Version française : Douglas Hofstadter (trad. Jacqueline Henry et Robert French), Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle, Paris, Dunod, 2000, réédition augmentée en 2021, 883 pages, rééd. : 928 pages (ISBN 2-10-005435-X et 978-2100829330), (extrait substantiel accessible en ligne sur le site de l'éditeur, ou sur des sites marchands). Cet ouvrage abondamment illustré relie entre eux, par leurs similitudes cachées, des domaines de la connaissance apparemment étrangers les uns aux autres : biologie, psychologie, physique, linguistique, informatique, intelligence artificielle et logique mathématique. Et pour cela il part d’une réflexion métaphorique mettant en abîme respectif les gravures d'Escher, la musique de Bach et la logique métamathématique de Gödel. Il éclaire ainsi « l'un des mystères de la philosophie scientifique moderne : notre apparente inaptitude à comprendre la nature de nos propres processus de pensée ». De la philosophie grecque antique jusqu’à Gödel, il s’agit là du phénomène paradoxal de l'auto-référencement : « tout langage, tout programme d'ordinateur, tout processus de pensée, lorsqu'il s'exprime à propos de lui-même, crée une structure [fractale] comparable aux miroirs se réfléchissant à l'infini », dans la poursuite de laquelle le sens se dérobe. Irréductiblement, fatalement, ou non[46] ?
- Yannick Grannec, La Déesse des petites victoires, éditions Anne Carrière, 2012, 468 p. (ISBN 978-2843376665 et 2843376661), prix des Libraires 2013. Roman sur la vie de Gödel racontée par sa femme Adele mourante à une jeune documentaliste chargée de récupérer auprès d'elle (qui en est la dépositaire) la précieuse documentation, les notes et brouillons de Gödel à Princeton. L’autrice, dans ce premier roman, a brossé une fresque du XXe siècle de l'Anschluss au maccarthysme, de la fin des idéaux positivistes au surgissement de l’arme nucléaire et de la Guerre Froide, et de la Vienne effervescente mais ambiguë des années 1930 au Princeton de l'après-guerre comme temple de la Science d’avant-garde. Mais c’est aussi « une ode au génie humain et un roman profond sur la fonction de l'amour et la finalité de l'existence […soit] l’épopée d'un génie qui ne savait pas vivre [en raison de ses phobies et de ses troubles obsessionnels] et d’une femme qui ne savait qu’aimer »[47]

title: Kurt Gödel

wikitext:
{{Voir homonymes|Godel}}
{{Infobox Scientifique
 | charte            = mathématicien
 | nom               = Kurt Gödel
 | image             = Young Kurt Gödel as a student in 1925.jpg
 | légende           = Kurt Gödel étudiant en 1925.
 | date de naissance = {{Date de naissance|28 avril 1906}}
 | lieu de naissance = [[Brno|Brünn]] ([[Autriche-Hongrie]])
 | date de décès     = {{date de décès|14 janvier 1978|28 avril 1906}}
 | lieu de décès     = [[Princeton (New Jersey)|Princeton]] ([[États-Unis]])
 | domicile          =
 | nationalité       = {{drapeau|Autriche}} [[Autriche|autrichienne]]
{{drapeau|États-Unis}} [[États-Unis|américaine]]
 | champs            = [[logique mathématique]], [[mathématiques]]
 | institutions      = {{lang|en|[[Institute for Advanced Study]]}} (Princeton)
 | diplôme           = [[université de Vienne]]
 | directeur thèse   =
 | étudiants thèse   =
 | renommé pour      = [[Théorème de complétude de Gödel]]
[[Théorèmes d'incomplétude de Gödel]]
[[Hypothèse du continu]]
[[Preuve ontologique de Gödel]]
 | prix              = [[Prix Albert Einstein]] (1951)
{{lang|en|[[National Medal of Science]]}} (1974)
 | notes             =
 | signature         = Kurt Gödel signature.svg
}}
'''Kurt Gödel''' est un [[Logique|logicien]] et [[mathématicien]] [[Autriche-Hongrie|autrichien]] naturalisé [[États-Unis|américain]]{{Note|groupe=n|Le plus souvent considéré comme [[Autriche|autrichien]], il est né à [[Brünn]] en [[Autriche-Hongrie]], est naturalisé [[Tchécoslovaquie|tchécoslovaque]] à {{nombre|12|ans}}, puis autrichien à {{nombre|23|ans}}. Lorsque [[Adolf Hitler|Hitler]] ordonne l'[[Anschluss|annexion de l'Autriche]], Gödel devient [[Allemagne|allemand]] (il a alors {{nombre|32|ans}}). Il émigre aux [[États-Unis]] pendant la [[Seconde Guerre mondiale]] et obtient la double nationalité austro-américaine à {{nombre|42|ans}}<ref name="Piñeiro-p53">{{Harvsp|Piñeiro|Soubeyrand|2018|p=53}}.</ref>.}}{{,}}<ref>{{Ouvrage |langue=fr |auteur1=Denis Huisman |titre=Dictionnaire des philosophes |lieu=Paris |éditeur=[[Presses universitaires de France]] |année=1984 |pages totales=1532 |passage=1146-1148 |isbn=2-13-045524-7 |isbn2=9782130455240 |isbn3=2130455255 |oclc=214938890 |présentation en ligne=https://www.worldcat.org/oclc/214938890 |consulté le=2019-02-04 |titre chapitre=Gödel/Jacques Dubucs}}.</ref>, né le {{date de naissance|28 avril 1906}} à [[Brno|Brünn]] ([[Autriche-Hongrie]]) et mort le {{date de décès|14 janvier 1978}} à [[Princeton (New Jersey)]].

Son résultat le plus connu, le [[théorèmes d'incomplétude de Gödel|théorème d'incomplétude de Gödel]]<ref>{{Ouvrage|langue=fr|prénom1=Jean-Paul|nom1=Delahaye|titre=Aux frontières des mathématiques - Kurt Gödel et l'incomplétude|éditeur=Dunod|date=2025-04-23|isbn=978-2-10-088391-2|lire en ligne=https://books.google.com/books/about/Aux_fronti%C3%A8res_des_math%C3%A9matiques_Kurt.html?hl=fr&id=JYJTEQAAQBAJ#v=onepage&q&f=false|consulté le=2025-07-04}}</ref>, affirme que n'importe quel [[système logique]] suffisamment puissant pour décrire l'[[arithmétique]] des entiers admet des {{page h'|Proposition (logique mathématique)|propositions}} sur les [[Entier naturel|nombres entiers]] ne pouvant être ni infirmées ni confirmées à partir des [[axiome]]s de la [[théorie]]. Ces propositions sont qualifiées d'[[Décidabilité|indécidables]].

Gödel a également démontré la [[Théorème de complétude de Gödel|complétude du calcul des prédicats du premier ordre]]. Il a aussi démontré la cohérence relative de l'[[hypothèse du continu]], montrant qu'elle ne peut pas être réfutée à partir des [[Axiome|axiomes]] admis de la [[théorie des ensembles]], en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des [[Fonction récursive|fonctions récursives]].

Il publie ses résultats les plus importants en 1931 à l'âge de {{nombre|25|ans}}, alors qu'il travaille encore pour l'[[université de Vienne]] ([[Autriche]]). Devenu [[privat-docent]] dans cette institution, il en est chassé après l'[[Anschluss]]. Il [[émigration|émigre]] avec sa femme pendant la [[Seconde Guerre mondiale]] aux [[États-Unis]]. Atteint de [[Trouble psychique|troubles mentaux]] depuis plusieurs années, il parvient néanmoins à être naturalisé grâce au soutien de ses amis [[Oskar Morgenstern]] et [[Albert Einstein]], et intègre de façon permanente l'[[université de Princeton]] après la guerre. Toutefois, ses troubles se transforment en [[délire de persécution]] au milieu des années 1970 et accélèrent sa fin.

== Biographie ==
=== Enfance ===
Kurt Gödel est le fils cadet de Rudolf Gödel, directeur et copropriétaire d'une grande [[entreprise]] [[textile]] de [[Brno]], dans l'actuelle [[Tchéquie]]{{Note|groupe=n|Ce qui n'est pas peu dire, puisque Brno figurait parmi les villes industrielles les plus importantes de l'[[Autriche-Hongrie|Empire austro-hongrois]] et se démarquait par la qualité et le nombre de ses industries textiles<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=17}}.</ref>.}}, et de Marianne Handschuh{{Note|groupe=n|Sa mère Marianne était allemande et avait étudié la littérature en Allemagne et en France<ref name="Piñeiro-p18">{{Harvsp|Piñeiro|Soubeyrand|2018|p=18}}.</ref>.}}. Rudolf Gödel a deux fils : l'aîné, également prénommé Rudolf, et Kurt. Ni l'un ni l'autre ne suivent ses pas sur le chemin de l'industrie ou du commerce. Rudolf fils devient un médecin de renom à [[Vienne (Autriche)|Vienne]] où il dirigera une clinique réputée.

Au sein de cette famille [[Allemand|germanophone]], le petit Kurt pose des questions avec tant d'insistance sur tout ce qu'il voit, qu'il est surnommé ''Der Herr Warum'' (''Monsieur Pourquoi''). À l'âge de six ans, il est frappé par une crise de fièvre rhumatismale, qui le cloue au lit pendant plusieurs jours, mais dont il se rétablit complètement, du moins physiquement{{Note|groupe=n|Il découvrit, à travers ses lectures, que la fièvre rhumatismale peut laisser une faiblesse chronique du cœur et sera convaincu durant toute sa vie que, si son cœur se refroidissait, il en mourrait, si bien que même dans les jours d'intense chaleur, Gödel s'habillait toujours chaudement<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=18-19}}.</ref>.}}. À l'âge de douze ans, lors du démembrement de l'[[Autriche-Hongrie]] le {{date-|28|octobre|1918}}, il devient de fait [[Tchécoslovaquie|tchécoslovaque]]. À Brno, il est un brillant élève à l'école primaire, puis secondaire qu'il termine avec les honneurs en 1923. C'est à l'âge de quinze ans qu'il prend la ferme décision de se consacrer à la [[physique]]{{Note|groupe=n|Dans une lettre de 1946, Gödel reconnaît que son étude en 1921 du traité des couleurs de Goethe, et sa contestation de la théorie de Newton, ont indirectement contribué à sa vocation<ref name="Piñeiro-p53" />.}}{{,}}<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=17-19/53}}.</ref>.

=== Études à Vienne ===
Bien que Gödel ait d'abord excellé en langues (dans sa jeunesse, il parlait et écrivait un français et un anglais parfaits<ref name="Piñeiro-p18" />), à l'âge de dix-huit ans, il rejoint son frère à l'[[université de Vienne]] pour y entamer des études de physique, qu'il abandonne assez rapidement. À cette époque, [[Philipp Furtwängler]], un [[mathématicien]] allemand spécialisé en arithmétique supérieure, enseigne à Vienne, ses cours sont célèbres pour leur excellence et leur clarté{{Note|groupe=n|Furtwängler était paraplégique et dictait à un assistant, depuis son fauteuil roulant, les notes à inscrire au tableau. Les étudiants inscrits à ses cours étaient si nombreux qu'ils étaient répartis en deux groupes, et chaque leçon devait être donnée deux fois, une pour chaque groupe<ref name="Piñeiro-p55">{{Harvsp|Piñeiro|Soubeyrand|2018|p=55}}.</ref>.}}. Le jeune Gödel demeure tellement marqué par les cours de Furtwängler qu'il abandonne ses études de physique pour se consacrer aux mathématiques{{Note|groupe=n|C'est sans doute un exemple remarquable de la façon dont un professeur peut influencer la vie de ses élèves. Quoi qu'il en soit, quelque vingt-cinq ans plus tard, à Princeton, Gödel eut l'opportunité d'étancher sa « soif » de physique<ref name="Piñeiro-p55" />.}}. Nous savons très peu de choses sur la vie privée de Gödel pendant ses années d'études à Vienne. Il allait épouser une femme de dix ans son aînée, mais ses parents s'y opposent, et Kurt renonce à ce mariage. Apparemment, il consacrait le plus clair de son temps aux études. C'est cependant à l'université de Vienne qu'il rencontre à vingt ans celle qui deviendra {{incise|tardivement, soit onze ans après}} sa femme, Adele Porkert<ref>{{Harvsp|Palle Yourgrau|2005|p=17}}.</ref>.

C'est à cette époque qu'il adhère au [[Platonisme mathématique|réalisme mathématique]]. Il lit ''{{lang|de|Metaphysische Anfangsgründe der Naturwissenschaft}}'' (''Premiers principes métaphysiques de la science de la nature'') de [[Emmanuel Kant|Kant]]. En 1926, il est invité par [[Moritz Schlick]], son ancien professeur en [[philosophie des sciences]] à l'université, à assister aux réunions hebdomadaires du [[Cercle de Vienne]] dont [[Hans Hahn (mathématicien)|Hans Hahn]] (futur [[directeur de thèse]] de Gödel), [[Rudolf Carnap]] et Schlick lui-même étaient membres{{Note|groupe=n|Quand il reçut son invitation à rejoindre le Cercle, Gödel n'était qu'un simple étudiant, ce qui en dit long sur la reconnaissance qu'il commençait à gagner auprès de ses professeurs<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=56}}.</ref>.}}. Lors de ces réunions étaient abordés des sujets de mathématiques et notamment les solutions proposées par [[Bertrand Russell|Russell]], [[Luitzen Egbertus Jan Brouwer|Brouwer]] et [[David Hilbert|Hilbert]] au problème de la [[crise des fondements]]. C'est sans doute dans ce contexte que Gödel acquiert pour la première fois sa profonde connaissance du programme [[Formalisme|formaliste]]. Il assiste aux réunions avec assiduité jusqu'en 1928, uniquement en tant qu'auditeur. Après avoir participé au Cercle de Vienne, Gödel décide, en 1928, de se consacrer définitivement à la [[logique mathématique]] (intérêt qu'il développe à la suite d'un séminaire de Schlick). Il assiste à une conférence de [[David Hilbert]] à [[Bologne]] sur la [[Théorème de complétude de Gödel|complétude]] et la cohérence des systèmes mathématiques.

Durant l'année 1929, il achève sa [[Doctorat|thèse de doctorat]] portant sur un problème lié au [[programme de Hilbert]] et la soumet, le {{date-|6|février|1930}}, à l'université de Vienne. Il la présente sous forme d'article la même année. Ce travail, qui constitue sa première publication scientifique, figure dans le numéro 37 (1930) de la revue ''[[Monatshefte für Mathematik und Physik]]'' sous le titre ''La complétude des axiomes du calcul logique de premier ordre''. Toujours en 1929, Gödel devient citoyen autrichien. Puis, en 1932, il obtient son diplôme à l'université de Vienne.

La publication de son premier théorème d'incomplétude, en 1931, fait de Gödel une célébrité internationale dans le monde des mathématiques<ref>{{Lien web |prénom=Julien |nom=Cervelle |prénom2=Laura |nom2=Fontanella |titre=Kurt Gödel : ses théorèmes d’incomplétude ont ébranlé les mathématiques |url=http://theconversation.com/kurt-godel-ses-theoremes-dincompletude-ont-ebranle-les-mathematiques-227074 |site=[[The Conversation (média)|The Conversation]] |date=2024-07-29 |consulté le=2024-07-30}}</ref>. Son nom commence à être cité dans tous les forums et congrès, et sa démonstration devient {{incise|et reste encore aujourd'hui}} un classique du [[Logique et raisonnement mathématique|raisonnement mathématique]]. Il ne peut profiter immédiatement de sa célébrité méritée, car, une fois son article terminé, il connaît de graves [[Neurologie|troubles nerveux]] pendant plusieurs mois, conséquence indéniable du stress engendré par la présentation de son [[théorème]].

Quant au second théorème d'incomplétude, l'article de 1931 ne fournit que les grandes lignes du déroulement de sa démonstration, Gödel proposant de le démontrer dans une seconde partie de l'article. Cependant, ses troubles nerveux l'empêchent de le rédiger dans les mois qui suivent et, lorsqu'il est enfin remis, il se rend compte que les démonstrations de ses deux théorèmes {{incise|y compris celle du second simplement évoquée}} sont si bien acceptées que toute clarification ultérieure serait inutile.

Après avoir surmonté ses troubles nerveux, il devient en 1933 ''[[Privatdozent]]'' (maître de conférences) de l'université de Vienne.

Il est invité la même année à donner une conférence lors de la réunion annuelle de l'''[[American Mathematical Society]]''. Lors de ce premier voyage, il fait la connaissance d'[[Albert Einstein]] qui avait émigré aux États-Unis en 1932. Entre eux naît une amitié qui durera jusqu'au décès d'Einstein en 1955. Au cours des deux années suivantes, 1934 et 1935, il se rend à nouveau aux États-Unis où il est invité à deux reprises par l’''[[Institute for Advanced Study|Institut d'Études avancées]]'' de [[Princeton (New Jersey)|Princeton]]. Il y donne plusieurs cours et conférences<ref group="n">Série de conférences intitulée « De l'indécidabilité des postulats des systèmes mathématiques formels ». [[Stephen Cole Kleene|Stephen Kleene]] et [[J. Barkley Rosser]] prennent en note ces conférences, publiées dans les ''Œuvres complètes'' de Gödel.</ref> sur ses deux théorèmes d'incomplétude ainsi que sur d'autres thèmes {{incise|qu'il avait abordés lors de recherches ultérieures}}, dont la [[calculabilité]] et les [[Fonction récursive|fonctions récursives]] ; en particulier, il donne une conférence sur les [[Fonction récursive|fonctions récursives]] générales et sur le concept de vérité. Au cours de ses voyages aux États-Unis, Gödel expose ses méthodes, ses idées, les problèmes auxquels il réfléchit et cela stimule l'école américaine de logique mathématique{{Note|groupe=n|Dans laquelle s'illustrèrent [[Alonzo Church]], [[Willard Van Orman Quine]] et [[Stephen Cole Kleene]]<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=92}}.</ref>.}} ainsi que la logique mathématique en général.

Cependant, le {{date-|22|juin|1936}}, a lieu l'assassinat, par Johann Nelböck, un jeune étudiant [[Maladie mentale|mentalement dérangé]], de [[Moritz Schlick]] ; ce crime affecte particulièrement Gödel qui traverse sa première [[dépression (médecine)|dépression]]. Il retourne à Princeton au cours de la même année. Les voyages et ses travaux l'épuisent, si bien qu'il consacre la plus grande partie de l'année suivante à soigner une nouvelle dépression. Il revient à l'enseignement en 1937, période durant laquelle il travaille à la démonstration de la cohérence relative et de l'indépendance de l'[[hypothèse du continu]]. Il achoppe à démontrer l'indépendance (ce qui ne sera fait qu'en 1963, par [[Paul Cohen]]), mais il réussit à établir que l'hypothèse du continu ne peut pas être réfutée à partir des axiomes de la [[théorie des ensembles]].

Après l'[[Anschluss]] de 1938, l'[[Autriche]] tombe sous la coupe de l'[[Allemagne nazie]]. Cette dernière ayant aboli le titre de ''Privatdozent'', Gödel perd son emploi. Cela ne l'empêche pas de se marier à l'[[université de Vienne]], le {{date-|20|septembre|1938}}, avec Adele Porkert, une danseuse divorcée de six ans son aînée, qu'il avait rencontrée en 1927. Ses liens avec des professeurs juifs, comme son tuteur de thèse [[Hans Hahn (mathématicien)|Hans Hahn]], lui causent des problèmes. En 1938 et 1939, il se rend à nouveau à l'''Institut d'études avancées'' et, au cours de ces voyages, en plus de donner des cours et des conférences, il prend des contacts institutionnels en vue de préparer sa future admission en tant que professeur, au cas où il devrait quitter l'Autriche. De retour à Vienne, après son second voyage, il est attaqué par un groupe d'étudiants d'extrême droite{{Note|groupe=n|Que son épouse fait fuir à coups de parapluie<ref name="Piñeiro-p94">{{Harvsp|Piñeiro|Soubeyrand|2018|p=94}}.</ref>.}}. Sa présence en tant qu'intellectuel indépendant étant une gêne pour les nazis, en {{date-||octobre|1939}}, il est inscrit sur une « liste noire ». Cette inscription officialise son statut de chômeur et, sous le régime nazi, les chômeurs sont presque systématiquement recrutés par l'armée. En effet, peu de temps après, il reçoit son ordre d'incorporation. Au lieu de rejoindre son régiment, Kurt Gödel fuit l'Autriche, en compagnie d'Adele Porkert, en {{date-||janvier|1940}} et se rend aux États-Unis par l'un des chemins les plus longs qui soient, c'est-à-dire à travers la [[Russie]], la [[Sibérie]], le [[Japon]] et l'[[Océan Pacifique]]{{Note|groupe=n|La guerre entre l'[[Allemagne]], la [[France]] et le [[Royaume-Uni]] avait déjà commencé<ref name="Piñeiro-p94" />.}}. Ils arrivent à [[San Francisco]] le {{date-|4|mars|1940-}} suivant, après avoir emprunté le [[Transsibérien]] et traversé l'océan Pacifique incognito, de peur d'être arrêtés<ref name="McT">{{MacTutor|id=Godel|texte=Kurt Gödel}}</ref>{{,}}<ref name="PY2005-114">{{Harvsp|Palle Yourgrau|2005|p=114}}.</ref>{{,}}<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=53-57/89-94}}.</ref>.

=== Émigration aux États-Unis ===
[[Image:Fuld Hall, Institute for Advanced Study, Princeton, NJ - looking north.jpg|thumb|Institut d'étude avancée]]
Grâce à ses contacts, Gödel obtient immédiatement un poste de professeur invité à l'[[Institut d'études avancées]] de Princeton. En 1946, il y est intégré de façon permanente et, à la fin de l'année 1947, il doit subir un examen en vue de sa [[naturalisation]], avec pour témoins ses amis [[Oskar Morgenstern]] et [[Albert Einstein]]. Pour une personne possédant ces références, il s'agit d'une formalité, mais Gödel se prépare avec une extrême minutie, et alors qu'il étudie la [[Constitution des États-Unis|constitution américaine]], il pense y découvrir une [[Faille de Gödel|faille logique ultérieurement nommée d'après Gödel]] qui permettrait de transformer en toute légalité le [[régime politique]] du pays en [[Dictature|régime dictatorial]]. Il fait part de sa découverte à ses deux amis, fort inquiets que Gödel n'aborde le sujet avec le juge chargé de l'entretien préalable à la naturalisation. Tous deux sont convaincus d'avoir réussi à en dissuader Gödel, mais en quelques phrases le sujet revient : le juge s'enquiert d'abord du régime politique en vigueur en Autriche, Gödel répond que celui-ci, autrefois une démocratie, s'est transformé en dictature ; le juge rétorque qu'une telle chose ne pourrait arriver en Amérique, mais Gödel soutient le contraire, et dit qu'il peut le prouver. Le juge, qui connaît Einstein, décide de terminer l'entretien sans son explication, qui ne sera jamais révélée<ref>Palle Yourgrau, ''Einstein/Gödel. Quand deux génies refont le monde'', {{éd.}} Dunod (2005), {{p.|129}}, qui s'appuie sur {{en}} John Dawson, ''{{lang|en|Logical Dilemmas: The Life and Works of Kurt Gödel}}'', Wellesley (Mass.), {{éd.}} A. K. Peters (1997).</ref>{{,}}{{Note|groupe=n|Une page retraçant la découverte du seul témoignage direct de cette anecdote, rédigé par Morgenstern, et prouvant définitivement qu'il ne s'agit pas d'une [[légende urbaine]]. La conclusion de l'histoire {{incise|quelle contradiction Gödel avait découverte ?}} n'est pas révélée. Il est naturalisé citoyen américain en 1948. Il obtient un poste de professeur à l'Institut en 1953, refuse le titre de professeur honoraire en 1975 et devient professeur [[Éméritat|émérite]] en 1976<ref>{{en}} [http://morgenstern.jeffreykegler.com/ {{lang|en|Kurt Gödel: A Contradiction in the U.S. Constitution?}}].</ref>.}}{{,}}<ref>{{Article|langue=en |auteur institutionnel=[[Institute for Advanced Study]] |titre=Gödel, Einstein and the Immigration Service |périodique=The Institute Letter |lieu=Princeton, New Jersey |date=printemps 2006 |lire en ligne=https://www.ias.edu/files/pdfs/publications/letter-2006-spring.pdf |format=pdf |page=7}}.</ref>.

=== Fin de vie ===
[[Fichier:Kurt godel tomb 2004.jpg|vignette|Pierre tombale de Kurt Gödel, et de sa femme Adele.]]
Ses troubles mentaux s'aggravent et, au milieu des années 1970, se transforment en délire de persécution. Il se fait de plus en plus de souci pour sa santé, se convainc de l'existence d'un complot visant à l'[[poison|empoisonner]]. Il refuse d'ailleurs de manger à moins qu'Adele ne goûte d'abord les aliments. Fin 1977, Adele doit être hospitalisée pendant six mois pour différents problèmes de santé et Gödel, qui reste seul avec ses peurs et ses obsessions, cesse pratiquement de s'alimenter, tombant progressivement dans la [[cachexie]]<ref name="E"/>. Il doit être interné à l'hôpital de Princeton où il meurt le {{date-|14|janvier|1978}} ; il pesait alors {{conversion|65|lb|kg|1}}<ref>{{Harvsp|Palle Yourgrau|2005|p=14}}.</ref>{{,}}<ref>{{Harvsp|Gustavo Ernesto Piñeiro|2018|p=147}}.</ref>.

=== Portrait ===
Enfant timide et [[introverti]], il demeure toujours très attaché à sa mère {{incise|dotée d'une grande sensibilité artistique}} et se sent quelque peu perdu lorsqu'elle n'est pas à la maison. Son caractère timide et introverti le suivra toute sa vie. Il n'est pas un boute-en-train, ne fait rire personne avec ses plaisanteries, mais n'en a pas non plus besoin. La crise de fièvre rhumatismale qui l'a frappé à l'âge de six ans est, selon son frère médecin, responsable de sa profonde [[hypocondrie]], une des principales caractéristiques de sa personnalité{{Note|groupe="n"|Elle fut peut-être également la source des nombreux problèmes de santé, d'origine physique ou psychologique, dont souffrirait le grand génie tout au long de sa vie et qui, à de nombreuses reprises, le maintinrent prostré pendant des semaines, à l'écart de tout travail intellectuel<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=19}}.</ref>.}}. Adulte, Gödel est fortement pessimiste quant au destin de l'humanité, une attitude courante lors des premières années de l'ère nucléaire<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=18-19/122}}.</ref>.

=== Métaphysique ===
À partir de 1950, Gödel publie peu, mais ne cesse de penser ni d'écrire, et il laisse à sa mort un nombre impressionnant de manuscrits inédits consacrés principalement à la [[philosophie]] et à la [[théologie]], avec des recherches, entre autres, sur l'existence de Dieu, la [[transmigration des âmes]] ou l'analyse des travaux philosophiques de [[Gottfried Wilhelm Leibniz|Leibniz]]. Parmi ces écrits inédits, se trouve le texte de la [[Conférence Gibbs|conférence de Gibbs]] que Gödel fut invité à dicter lors de la réunion annuelle de l'''[[American Mathematical Society]]'', organisée le {{date-|26|décembre|1951}} à [[Providence (Rhode Island)|Providence]], aux États-Unis{{Note|groupe="n"|Selon certains témoignages, il se contenta de lire rapidement le manuscrit qu'il avait préparé sans accepter ni questions ni commentaires à la fin<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=149}}.</ref>.}}. Au cours des années suivantes, il se consacre à l'amélioration de son manuscrit dans le but de le publier, mais ne parvient jamais à lui donner une forme qui lui semble acceptable. Finalement, il est publié en 1994 dans un volume intitulé ''Kurt Gödel : essais inédits''. Concrètement, il soutient, lors de cette conférence, que ses théorèmes démontrent que le [[platonisme mathématique]] constitue la position correcte en philosophie des mathématiques{{Note|groupe=n|La position opposée, qui aujourd'hui porte le nom de ''formalisme'' et rassemble une partie des idées de l'intuitionnisme et du [[programme de Hilbert]], soutient que les mathématiques sont simplement une création humaine similaire par certains aspects à la musique<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=150}}.</ref>.}}{{,}}<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=148-150}}.</ref>{{,}}{{Note|groupe=n|L'origine de son point de vue platoniste n'est pas simple à déterminer<ref>{{Harvsp|Pierre Cassou-Noguès|2007|p=95-96}}.</ref>.}}.

Âgé de {{nombre|70|ans}}, Gödel, qui est profondément mystique, fait circuler parmi ses amis un document proposant une preuve [[Ontologie (philosophie)|ontologique]] de l'existence de Dieu, inspirée de l'argument d'[[Anselme de Cantorbéry]] et de travaux de Leibniz et connue aujourd’hui sous le nom de « [[preuve ontologique de Gödel]] ». Il s'intéressait aussi beaucoup aux visions des grands [[Mystique|mystiques]] comme sainte [[Anne Catherine Emmerich|Catherine Emmerich]] ou [[Grégoire Palamas]]<ref>Jean Staune, ''Notre existence a-t-elle un sens ?'', Presses de la Renaissance, 2007, {{p.|427}}.</ref>.

Gödel, en plus de sa foi en Dieu, s'interroge sur l'existence des anges et du diable. Laurent Lemire écrit : {{citation|Kurt Gödel, (...)  auteur du théorème d'incomplétude, croit aux anges et au diable dans un univers mathématique, un univers « idéal », par opposition à l'univers réel perceptible, dans lequel vivraient les « anges » et « démons », comme nous vivons dans l'univers réel. Persuadé qu’on veut l’empoisonner, il meurt, volontairement affamé<ref name="E">{{article|nom1=Françoise Monier |titre=Laurent Lemire se passionne pour les génies atteints de folie |périodique=L’express |jour=6 |mois=4 |année=2012 |url=http://www.lexpress.fr/culture/livre/laurent-lemire-se-passionne-pour-les-genies-atteints-de-folie_980109.html |consulté le=23 juin 2013}}.</ref>{{,}}{{Note|groupe=n|{{Citation|Les idées sont-elles aux anges ce que la matière est pour nous ?}} (note de Kurt Gödel)<ref>{{Harvsp|Pierre Cassou-Noguès|2007|p=94}}.</ref>}}}}. Cela provient de ses réflexions sur l'intuition et l'incomplétude, en effet, puisque l'intuition a parfois produit des thèses mathématiques ne pouvant ni être démontrées, ni être infirmées mathématiquement, il considère que soit le [[cerveau]] est une [[machine de Turing]], et il existe donc des problèmes indécidables pour l'humain, ce qui signifie que « les propriétés mathématiques qui nous échappent ont une existence autonome », soit le cerveau surpasse les machines de Turing, et donc l'esprit humain est « une réalité indépendante du monde sensible »<ref name="ReferenceA">{{Harvsp|Pierre Cassou-Noguès|2007|p=121-123}}.</ref>. La difficulté de cette approche est la communication du cerveau, matériel et fini, avec cet [[théorie des formes|univers idéel]] : il envisage l'existence d'un « organe de l'intuition » ayant accès à cet univers idéel{{Note|groupe=n|{{Citation|La position d'un œil mathématique est l'une des thèses les plus stables de la métaphysique de Gödel. Elle apparaît dès les cahiers philosophiques et s'affirme encore dans les conversations avec [[Wang Hao (logique)|Wang Hao]].}}<ref>{{Harvsp|Pierre Cassou-Noguès|2007|p=94-95}}.</ref>.}}, malgré les difficultés de cette spéculation.

Une conséquence de sa vision d'un monde réel limité voulu par [[Dieu]], est que la [[recherche fondamentale|recherche]], la [[métaphysique]] ou la [[philosophie]], sont en contradiction avec cette volonté de limitation de la compréhension du monde. Ce point alimente ses craintes, et il va même jusqu'à estimer les grands penseurs en danger{{Note|groupe=n|Kurt Gödel déclare {{Citation|[[Husserl]] a atteint la fin, il est arrivé à la science de la métaphysique. [Mais] il a dû cacher sa grande découverte. La philosophie est une science persécutée. S'il n'avait pas caché [sa découverte], la structure du monde aurait pu le tuer}}, rapporté par [[Wang Hao (logique)|Wang Hao]]<ref>[[Wang Hao (logique)|Wang Hao]], ''{{lang|en|A Logical Journey: From Gödel to Philosophy}}'', {{p.|167}}), tiré en l'état de {{Harvsp|Pierre Cassou-Noguès|2007|p=94}}.</ref>}}{{,}}{{Note|groupe=n|{{Citation|Les philosophes sont persécutés. Il y a un complot contre Leibniz. Gödel est persuadé qu'une société secrète s'attache à détruire les écrits de celui-ci}}<ref>{{Harvsp|Pierre Cassou-Noguès|2007|p=101}}.</ref>.}}.
Gödel préfère rester discret sur cette conception du monde, qui n'est décrite que dans ses notes personnelles : {{citation|je ne rends publiques que les parties de ma philosophie qui se prêtent le moins à la controverse}}<ref>Rapporté par [[Wang Hao (logique)|Wang Hao]] dans ''{{lang|en|A Logical Journey: From Gödel to Philosophy}}'', {{p.|235}}), tiré en l'état de {{Harvsp|Pierre Cassou-Noguès|2007|p=22}}.</ref>.

La philosophie de Gödel est marquée par la double influence de Leibniz et de [[Edmund Husserl|Husserl]]. D'abord influencé par le premier, il finit par s'en éloigner à la suite de ses résultats sur les théorèmes d'incomplétude<ref>{{Lien web |langue=fr |auteur=Richard Tieszen |titre=Leibniz, Husserl and Gödelian Monadology |url=https://books.openedition.org/pup/53705 |accès url=libre |site=books.openedition.org/ |consulté le=07/11/2024}}</ref>. Il souhaitait constituer une métaphysique exacte combinant des éléments de la [[monadologie]] de Leibniz, et la [[Phénoménologie_(philosophie)|phénoménologie]] de Husserl<ref group="n">« Gödel’s own main aim in philosophy was to develop metaphysics—specifically, something like the monadology of Leibniz transformed into exact theory—with the help of phenomenology » Wang Hao, 1996 {{ISBN|9780262231893}}, p. 166</ref>.

Dans ''After Godel: Platonism and Rationalism in Mathematics and Logic'', Richard Tieszen présente un exposé approfondi de la philosophie de Gödel et s'appuyant sur ses carnets et des témoignages, comme ceux de Wang Hao.

== Parcours ==
=== Travaux à Vienne ===
Il prouve dans sa thèse, présentée le {{date-|6|février|1930}} [[théorème de complétude|la complétude de la logique classique du premier ordre]], c'est-à-dire que toute formule valide est démontrable, résultat qui fut publié par l'[[Académie autrichienne des sciences|Académie des sciences de Vienne]]. Le théorème démontré, connu aujourd'hui comme [[Théorème de complétude de Gödel]], est interprété à l'époque comme un indice révélant que le [[programme de Hilbert]] est réalisable.

Une fois établie la base logique permettant d'effectuer des [[Démonstration (logique et mathématique)|démonstrations]] vérifiables à l'aide d'un [[algorithme]], il ne reste plus qu'à découvrir les [[Axiome|axiomes]] permettant de démontrer toutes les vérités arithmétiques.

Malheureusement pour le programme de Hilbert, cet objectif est inatteignable. Le théorème énonçant cette impossibilité est connu sous le nom de [[Théorèmes d'incomplétude de Gödel|premier théorème d'incomplétude]], exposé ouvertement pour la première fois au congrès de Königsberg le {{date-|7|septembre|1930}}. L'article contenant le développement de la démonstration est envoyé au magazine ''[[Monatshefte für Mathematik und Physik]]'' en novembre et paraît dans l'édition {{Numéro avec majuscule|38}} en 1931. Il prouve que pour tout système axiomatique assez puissant pour décrire les nombres naturels, on peut affirmer que :
# il ne peut être à la fois cohérent et complet (ce qui est le théorème connu sous le nom de « premier théorème d'incomplétude ») ;
# si le système est cohérent, alors la cohérence des axiomes ne peut pas être prouvée au sein même du système (ce qui est le théorème connu sous le nom de « second théorème d'incomplétude ») .

L'article ne contient pas de démonstration détaillée de ce second théorème, mais en expose les grandes lignes.

Le principe du théorème d'incomplétude est simple. Gödel a essentiellement bâti « une formule qui énonce qu'elle n'est pas démontrable » dans un système formel donné. Si cette formule était démontrable, cela signifierait que l'on pourrait démontrer « qu'elle n'est pas démontrable », d'où la contradiction. Donc, cette formule n'est pas démontrable. C'est bien ce qu'elle énonce, donc elle est valide. Il existe donc une formule valide non démontrable<ref group="n">Une démonstration moderne du théorème d'incomplétude consiste à démontrer que l'ensemble des formules valides n'est pas [[récursivement énumérable]]. Comme l'ensemble des théorèmes est à l'évidence récursivement énumérable et inclus dans celui des formules valides, ces deux ensembles sont disjoints ; d'où le résultat.</ref>.

Pour préciser ces faits, Gödel a eu besoin de résoudre de nombreux problèmes techniques, comme le « codage des démonstrations » et « le concept même de démontrabilité » au sein des nombres entiers. Il a aussi eu besoin d'un procédé pour décrire une formule qui énonce sa propre non-démontrabilité : le procédé « diagonal ». Ces détails sur la forme expliquent pourquoi sa publication de 1931 est aussi longue et ardue à lire et pourquoi ses contemporains, à l'exception notable de [[John von Neumann]] et [[Alfred Tarski]], n'ont pas compris son résultat<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=57/65-66/68-85/89}}.</ref>.

=== Travaux à Princeton ===
À Princeton, il se tourne encore plus vers la philosophie{{Note|groupe=n|Selon [[Wang Hao (logicien)|Wang]], {{citation|son travail est devenu plus philosophique que mathématique<ref name="Bouveresse">{{Article |auteur1=[[Jacques Bouveresse]] |titre=Mathématiques et logique chez Leibniz |périodique=Revue d'histoire des sciences |tome=54 |numéro=2 |année= 2001 |passage=225 |lire en ligne=http://www.persee.fr/doc/rhs_0151-4105_2001_num_54_2_2118 |consulté le=19 aout 2018}}.</ref>.}}}} et la physique. Entre 1943 et 1946, il étudie de {{citation|façon assez systématique}} les travaux de [[Gottfried Wilhelm Leibniz|Leibniz]]<ref name="Bouveresse" />. Il étudie aussi, à un moindre degré, ceux de [[Emmanuel Kant|Kant]] et de [[Edmund Husserl|Husserl]].

Des conversations entre Gödel et Einstein découlent les articles que Gödel écrit sur la théorie de la relativité. Le premier, rédigé en anglais, a pour titre ''Un exemple d'un nouveau type de solutions cosmologiques aux équations einsteiniennes du champ gravitationnel'', est publié dans la revue ''Reviews of Modern Physics'' en 1949. Dans cet article, il propose une solution aux équations d'Einstein, qui consiste en la description d'un univers en rotation, homogène, fermé et stable {{incise|c.à.d. qui n'est pas en expansion}}, avec des lignes de temps fermées. Les [[univers de Gödel|« univers tournants »]] auraient rendu possible le voyage dans le temps, et poussent Einstein à douter de sa propre théorie. {{Référence souhaitée|Aujourd'hui, ce type de solution est considéré comme une curiosité mathématique sans grand intérêt physique, mais dont le mérite est d'avoir stimulé la recherche d'autres solutions exactes aux équations d'Einstein. }}

Un deuxième article sur la relativité, publié en 1949{{Note|groupe=n|Comme participation à un volume consacré à l'œuvre d'Einstein dans ''La bibliothèque des philosophes vivants'' édité par P.A.Schilpp<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=124}}.</ref>.}}, est intitulé ''Une remarque au sujet de la relation entre la théorie de la relativité et la philosophie idéaliste'' étudie certaines conséquences philosophiques qui peuvent être tirées de la théorie de la relativité en rapport avec la nature du temps, {{citation|cet être mystérieux et apparemment autocontradictoire qui, par ailleurs, paraît constituer le fondement de notre existence et de celle du monde}} (extrait du même article). En 1952, il publie son troisième et dernier travail sur la relativité, intitulé ''Univers rotatifs dans la théorie générale de la relativité'', dans lequel Gödel expose de nouvelles solutions aux équations d'Einstein nouvellement constituées d'univers en rotation, bien que celles-ci ne possèdent pas toutes de lignes temporelles fermées.

Le dernier travail scientifique sur la logique mathématique signé par Gödel paraît sous la forme d'un ouvrage publié en 1940 par les ''Presses universitaires de Princeton'' et qui n'est pas directement rédigé par Gödel, puisqu'il s'agit de l'édition des notes d'un cours dicté entre 1938 et 1939 à l'Institut d'études avancées. L'ouvrage d'environ soixante-dix pages s'intitule ''La consistance de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles'' et expose la résolution partielle du [[Problèmes de Hilbert#Premier problème|premier problème]] posé par [[David Hilbert]], connu comme l'[[Hypothèse du continu]]. Il introduit dans ce travail la notion d'univers constructible, modèle de la théorie des ensembles dans lequel les seuls ensembles existants sont ceux qui peuvent être construits à partir d'ensembles plus élémentaires. Gödel prouve qu'aussi bien l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans un univers constructible, et doivent donc être cohérents. Il a aussi l'intuition de la notion de problème {{lang|en|[[NP-complet]]}}<ref>{{Article|auteur1=[[Jean-Paul Delahaye]] |titre=Un algorithme à un million de dollars ? |périodique= [[Pour la science]] |numéro=34 |mois= 08 |année=2005 |lire en ligne=http://www.pourlascience.fr/ewb_pages/a/article-un-algorithme-a-un-million-de-dollars-20659.php |consulté le=13 mars 2015 |commentaire=Voir la lettre de Gödel à [[Von Neumann]] en 1956 dans {{lien web|lang=en |titre={{lang|en|texte=Gödel’s Lost Letter and P=NP}} |sous-titre={{lang|en|a personal view of the theory of computation}} |url=http://rjlipton.wordpress.com/the-gdel-letter/ |site=la page de [[Richard J. Lipton]]}}.}}</ref>{{,}}<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=123-124/126-128}}.</ref>.

== Honneurs ==
En {{date-||mars|1951}}, Gödel reçoit avec le physicien [[Julian Schwinger]] le premier prix Einstein, puis est nommé docteur ''{{lang|la|honoris causa}}'' dans plusieurs universités dont [[Université Yale|Yale]] et [[Université Harvard|Harvard]] et se voit décerner la ''{{lang|en|[[National Medal of Science]]}}'' en 1974<ref>{{Harvsp|Piñeiro|Soubeyrand|2018|p=125}}.</ref>. En 1985 un astéroïde [[(3366) Gödel]] est nommé en honneur de Kurt Gödel.

== Distinctions ==
* La société Kurt Gödel, fondée en 1987, est baptisée en son honneur<ref group="n">C'est une organisation internationale pour la promotion de la recherche dans les champs de la logique, de la philosophie et de l'[[histoire des mathématiques]].</ref>{{,}}<ref>[http://kgs.logic.at/ {{lang|en|The Kurt Gödel Society}}].</ref>.
* Un [[prix Gödel]], qui récompense les meilleurs travaux en [[informatique théorique]], est fondé en son honneur en 1992.
* L'[[astéroïde]] {{PM1|3366|Gödel}} [[éponymie|porte son nom]].

== Œuvres ==
* ''{{lang|en|Collected Works}}'', {{lang|en|Oxford University Press}}, {{nombre|5|volumes}} publiés de 1986 à 2003 sous la direction de [[Solomon Feferman]], J. W. Dawson, [[Stephen Cole Kleene]], Gregory H. Moore, [[Robert Solovay|Robert Martin Solovay]] et [[Jean van Heijenoort]].
** {{Vol.|{{I}}}} : ''{{lang|en|Publications}}'' 1929-1936.
** {{Vol.|{{II}}}} : ''{{lang|en|Publications}}'' 1938-1974.
** {{Vol.|{{III}}}} : ''{{lang|en|Unpublished Essays and Lectures}}''
** {{Vol.|{{IV}}}} : ''{{lang|en|Correspondence A-G}}''
** {{Vol.|{{V}}}} : ''{{lang|en|Correspondence H-Z}}''
* ''{{lang|de|Philosophische Notizbücher}}'', [[Walter de Gruyter]], {{nombre|3|volumes}} parus sous la direction d'{{Lien|lang=de|Eva-Maria Engelen}}.

== Bibliographie ==
{{Légende plume}}

=== Essais et articles scientifiques / épistémologiques ===
* {{Ouvrage|langue=fr|nom=[[Pierre Cassou-Noguès]]|titre=''Gödel''|éditeur=Les Belles Lettres|collection=Figures du savoir |numéro dans collection=34|année=2004|lieu=Paris|isbn=978-2-251-76040-7|pages totales=190|présentation en ligne=}}.
* Pierre Cassou-Noguès, « Le programme de Gödel et la subjectivité mathématicienne », ''Cahiers du Centre [[François Viète]]'', {{Numéro|3}}, Nantes, 2003, {{p.|31-56}}.
* {{Ouvrage|langue=fr|auteur1=Pierre Cassou-Noguès|titre=Les Démons de Gödel. Logique et [[folie]]|lieu=Paris|éditeur=[[Éditions du Seuil|Seuil]]|année=2007|pages totales=279|isbn=978-2-02-092339-2|isbn2=2-02-092339-4|plume=oui}}
* {{en}} John W. Dawson, « {{lang|en|Gödel and the Limits of Logic}} », ''{{lang|en|Scientific American}}'', {{date-|juin 1999}}, [http://plus.maths.org/issue39/features/dawson/ en ligne].
* Jean-Paul Delahaye, ''Aux frontières des mathématiques - Kurt Gödel et l'incomplétude'', Paris, Dunod, 2025, 240p. {{ISBN|978-2-100-85641-1}}
* Gianbruno Guerrerio, [http://www.pourlascience.com/index.php?ids=PsNFNMKdBtjYrzWLsPqf&Menu=Genies&Action=1&idn1=25 ''Gödel - Logique à la folie''], ''[[Pour la science]]'', série « Les génies de la science ».
* {{Ouvrage|auteur1=[[Stephen Cole Kleene]]|titre=[[Métamathématique|Introduction to Metamathematics]]|lieu=Amsterdam|éditeur=North-Holland|année=1952|pages totales=x+550|sudoc=005505526|présentation en ligne=https://books.google.com/books?id=HZAjPwAACAAJ}}. {{commentaire biblio SRL| Nombreuses réimpressions, en 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000, 2009 notamment par Wolters-Noordhoff (Groningen) {{isbn|0720421039}}}}, d'après la notice Sudoc. Nombreuses traductions.
* {{Ouvrage|auteurs=[[Ernest Nagel]], [[James R. Newman]], Kurt Gödel et [[Jean-Yves Girard]]|titre=Le théorème de Gödel|éditeur=Éditions du Seuil|année=1989|isbn=978-2-02-032778-7|isbn=2-02-010652-3|référence simplifiée=Référence:Le théorème de Gödel}}. {{Commentaire biblio|Fournit, entre deux commentaires assez accessibles (sans trop de formalisme mathématique et qui resituent l'œuvre-maîtresse de Gödel au sein de ses enjeux théoriques, historiques, philosophiques), une traduction en français (pour la première fois) de la démonstration originelle de Gödel de ses [[Théorèmes d'incomplétude de Gödel|théorèmes d'incomplétude]].}}
* {{Ouvrage|langue=fr|langue originale=es|prénom1=Gustavo Ernesto|nom1=Piñeiro|traducteur=Anne-Lucie Fernandez et Julie Soubeyrand|titre=Deux théorèmes qui révolutionnèrent les mathématiques|sous-titre=Gödel|lieu=Barcelone|éditeur=RBA Coleccionables|année=2018|pages totales=167|isbn=978-84-473-9555-2|plume=oui}}

=== Philosophie, biographie, esthétique ===
* {{Ouvrage|langue=fr|langue originale=es|prénom1=Gustavo Ernesto|nom1=Piñeiro|traducteur=Anne-Lucie Fernandez et Julie Soubeyrand|titre=Peut-on décider de ce qui est vrai ? — Gödel et le théorème d'incomplétude|lieu=Paris|éditeur=RBA France|année=2015|pages totales=167|isbn=978-28-237024-1-5}}
* [[Wang Hao (logicien)|Hao Wang]], ''Gödel'', éditions Armand Colin, Paris, 1990. {{ISBN|2-200-24020-1}}
*{{Ouvrage|langue=en|auteur1=Hao Wang |traduction titre=Un cheminement [dans la] logique : de Gödel à la philosophie |titre=A logical journey|sous-titre=from Gödel to philosophy|lieu=Cambridge (Mass.)|éditeur=[[MIT Press]]|année=1996|pages totales=391|isbn=0262231891|oclc=468405923}} {{Commentaire biblio|{{citation|Cet ouvrage, comme Wang l'indique dans sa préface, est une suite de ses ''“Réflexions sur Kurt Gödel”'' ; et, comme son précédent livre, il ne s'inscrit pas nettement dans un genre philosophique courant. C'est en partie une biographie de Gödel, en partie les mémoires intellectuelles de Wang, en partie une exposition des vues philosophiques de Gödel, et en partie un développement de ses propres vues à lui, Wang [qui est lui-même logicien et philosophe, [[NdT]]]}}<ref name="Shieh"> Extrait, dans notre traduction, d'une recension de ce livre de Wang par {{article|langue=en |auteur=Sanford Shieh, [[Université Wesleyenne|Wesleyan University]] |périodique=Erkenntnis, « une revue internationale de philosophie des sciences » |volume=52 |titre=Hao Wang, A Logical Journey  |sous-titre=From Gödel to Philosophy |année=2000 |mois=janvier |url=https://link.springer.com/article/10.1023/A:1005478620174 |accès url=payant |passage=pages 109 à 115, ici page 109|doi=10.1023/A:1005478620174 |consulté le=20/05/2025}}. Autre lien vers le même article : [https://www.researchgate.net/publication/226559299_Hao_Wang_A_Logical_Journey_From_Godel_to_Philosophy]</ref>{{,}}{{trad|en|[Texte original] : “The present book, as Wang states in its Preface, is a continuation of his Reflections on Kurt Gödel, and, like its predecessor, it fails to belong neatly to any familiar philosophical genre. It is partly biography of Gödel, partly Wang’s intellectual memoirs, partly an exposition of Gödel’s philosophical views, and partly a development of Wang’s own views”.}}. {{citation|Ce livre, très attendu, contient les notes et enregistrements de Hao Wang sur les conversations qu’il a tenues avec Kurt Gödel de 1971 à 1976, classées par sujets ([...] philosophie de la connaissance / de l'esprit, des mathématiques, de la logique et de la théorie des ensembles), ainsi que quelques réflexions de Wang sur la vie de Gödel, sa personnalité et ses idées}}<ref> Extrait, dans notre traduction, d'une recension de ce livre de Wang par {{article|langue=en |auteur=Francisco Rodríguez-Consuegra |périodique=Modern Logic |volume=8 |numéro=3 & 4 |titre=Philosophy in Hao Wang’s conversations with Gödel |année=mai 2000 / octobre 2001 |url=https://projecteuclid.org/journals/review-of-modern-logic/volume-8/issue-3-4/Philosophy-in-Hao-Wangs-Conversations-with-Gödel--Review-of/rml/1081173781.full |accès url=libre |passage=pages 137-152, ici page 137 |consulté le=20/05/2025}}. Autres liens vers cet article : [https://www.semanticscholar.org/paper/Philosophy-in-Hao-Wang's-Conversations-with-Gödel%3A-Rodríguez-Consuegra/5f6739f05272cdd5820cee697d39559b99864402] ; et pour la série d'articles sur Gödel dont il fait partie : [https://www.semanticscholar.org/paper/Gödel-on-Concepts-Crocco/c56fa54d3aa731b4ce7b82ea11435b2dd8a46f55]</ref>{{,}}{{trad|en|[Texte original] : “This is a long-awaited book. It contains Hao Wang’s records of his conversations with Kurt Gödel (1906 -1978) from 1971 to 1976, ordered by subjects ([...] philosophy of mind, of mathematics and of logic and set theory, and some reflections by Wang about Gödel’s life, personality and ideas). The contents of the conversations are mainly philosophical in nature, which is very understandable; although Gödel almost never dared to make his philosophical ideas public, he sometimes felt the need of some philosophical interchange”.}}. {{citation|Le livre était à l'origine destiné à être une présentation publique accessible des discussions que Wang a eues avec Gödel. Dans la tentative de réaliser l'objectif d'accessibilité, cependant, Wang est allé au-delà du compte rendu des conversations. Comme il le dit, ''“Dans le cadre de mes efforts pour résoudre les différentes ambiguïtés dans mes notes'' [sur les conversations], ''j'ai sélectionné, interprété et extrapolé les observations'' [de Gödel] ''le long de chemins qui me conviennent à moi'' [pour les comprendre]”}}<ref name="Shieh"/>{{,}}{{trad|en|[Texte original] : The book was originally intended to be an accessible public presentation of the conversations that Wang held with Gödel. In trying to fulfil the aim of accessibility, however, Wang went beyond the record of the conversations. As he puts it, “In the process of trying to resolve various ambiguities in my notes [of the conversations], I have selected, interpreted, and extrapolated [Gödel’s] observations along paths that are congenial to me”.}}. }}
* {{en}} Jiří Prcházka, ''Kurt Gödel /1906-1978/ Curriculum vitae'', Volumen I, {{ISBN|978-80-903476-9-4}}, Brno, Wien, Princeton 2017.
* {{en}} Jiří Proházka, ''Kurt Gödel /1906-1978/ Curriculum vitae'', Volumen II, {{ISBN|978-80-903476-1-8}}, Brno, Wien, Princeton 2019.
* {{Ouvrage|langue=fr|langue originale=en|auteur1=Palle Yourgrau |traduction=Christian Jeanmougin |préface=[[Thibault Damour]] |titre=Einstein/Gödel. Quand deux génies refont le monde|lieu=Paris|éditeur=[[Éditions Dunod|Dunod]]|année=2005|pages totales=289|isbn=2-10-048735-3|plume=oui}} {{Commentaire biblio|Essai sur les enjeux philosophiques de l'amitié et des nombreuses conversations scientifiques / épistémologiques qu'échangèrent [[Albert Einstein|Einstein]] et Gödel de 1942 à 1955 à Princeton, notamment sur des sujets fondamentaux : le temps existe-t-il vraiment ? Quel est le sens profond de la théorie de la [[Relativité générale|Relativité]] ? Quelle est la structure de l'univers ? Son devenir et son sens ? Quelle est la réalité des mathématiques et des théories physiques ?}}
* [[Douglas Hofstadter]], ''[[Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle]]'', 1979 (V.O.), 1985 (pour la première édition de la traduction en français).
**Édition originale en anglais : {{Ouvrage|langue=en|nom=Douglas Hofstadter|titre=Gödel, Escher, Bach|sous-titre=an Eternal Golden Braid{{trad|en|[Traduction] : “une éternelle tresse dorée”. Mais une traduction meilleure, puisqu'il s'agit de liens cachés ou inattendus serait “un(e) éternel(le) tresse/intrication/entrelacs d'or”, en allusion au [[nombre d'or]] ou “divine proportion”.}}|éditeur=Basic Books|jour=31|mois=mai|année=1979|isbn=978-0465026852  |isbn2=0465026850}}.
**Version disponible en anglais (États-Unis, a obtenu le [[prix Pulitzer]]) : {{Ouvrage|langue=en|nom=Douglas Hofstadter|titre=Gödel, Escher, Bach|sous-titre=an Eternal Golden Braid|éditeur=Basic Books|année=1999, réédition augmentée ''“20th Aniversary Edition”''|isbn=978-0465026562 |isbn2=0465026567 |pages totales=777 }}.
**Version française : {{Ouvrage|langue=fr|nom=Douglas Hofstadter|traduction=Jacqueline Henry et Robert French|titre=Gödel, Escher, Bach |sous-titre=Les Brins d'une Guirlande Éternelle |éditeur=Dunod|lieu=Paris|année=2000, réédition augmentée en 2021|isbn=2-10-005435-X |isbn2=978-2100829330|pages totales=883 pages, rééd. : 928 pages}}, (extrait substantiel accessible en ligne sur le site de l'éditeur, ou sur des sites marchands). {{Commentaire biblio|Cet ouvrage abondamment illustré relie entre eux, par leurs similitudes cachées, des domaines de la connaissance apparemment étrangers les uns aux autres : biologie, psychologie, physique, linguistique, informatique, intelligence artificielle et logique mathématique. Et pour cela il part d’une réflexion métaphorique mettant en abîme respectif les gravures d'[[Maurits Cornelis Escher|Escher]], la musique de [[Jean-Sébastien Bach|Bach]] et la logique [[métamathématique]] de Gödel. Il éclaire ainsi {{citation|l'un des mystères de la philosophie scientifique moderne : notre apparente inaptitude à comprendre la nature de nos propres processus de pensée}}. De la philosophie grecque antique jusqu’à Gödel, il s’agit là du phénomène paradoxal de l'[[Autoréférence|auto-référencement]] : {{citation|tout langage, tout programme d'ordinateur, tout processus de pensée, lorsqu'il s'exprime à propos de lui-même, crée une structure [fractale] comparable aux miroirs se réfléchissant à l'infini}}, dans la poursuite de laquelle le sens se dérobe. Irréductiblement, fatalement, ou non<ref>D’après la quatrième de couverture de l’édition en français de Dunod (2000) ci-dessus référencée.</ref> ?}}
* {{Ouvrage|langue=fr|nom=[[Yannick Grannec]]|titre=''[[La Déesse des petites victoires]]''|éditeur=[[éditions Anne Carrière]] |année=2012|isbn=978-2843376665|isbn2=2843376661|pages totales=468}}, [[prix des Libraires]] 2013. {{Commentaire biblio |Roman sur la vie de Gödel racontée par sa femme Adele mourante à une jeune documentaliste chargée de récupérer auprès d'elle (qui en est la dépositaire) la précieuse documentation, les notes et brouillons de Gödel à Princeton. L’autrice, dans ce premier roman, a brossé une fresque du {{s-|XX}} de l'Anschluss au maccarthysme, de la fin des idéaux positivistes au surgissement de l’arme nucléaire et de la Guerre Froide, et de la Vienne effervescente mais ambiguë des années 1930 au Princeton de l'après-guerre comme temple de la Science d’avant-garde. Mais c’est aussi {{citation|une ode au génie humain et un roman profond sur la fonction de l'amour et la finalité de l'existence […soit] l’épopée d'un génie qui ne savait pas vivre [en raison de ses phobies et de ses troubles obsessionnels] et d’une femme qui ne savait qu’aimer}}<ref>D’après la quatrième de couverture : {{Lien web|langue=fr|auteur= Éditions Anne Carrière / Yannick Grannec|titre=4ème de couverture de ''La Déesse des petites victoires''|jour= 23|mois=08|année=2012|url=https://anne-carriere.fr/livre/la-deesse-des-petites-victoires |site=anne-carriere.fr|consulté le=17/05/2025}}. </ref>}}

== Notes et références ==
=== Notes ===
{{Références|groupe=n|colonnes=1}}

=== Textes originaux ou traductions ===
{{références|groupe=trad|colonnes=1}}

=== Références ===
{{Références|colonnes=3}}

== Voir aussi ==
{{Autres projets|commons=Category:Kurt Gödel|wikiquote=Kurt Gödel}}

=== Articles connexes ===
* [[Théorèmes d'incomplétude de Gödel]]
* [[Preuve ontologique de Gödel]]
* [[Univers de Gödel]]
* [[Théorie des ensembles de von Neumann-Bernays-Gödel]]
* [[Logique de la prouvabilité]]
* [[Intuitionnisme]]

=== Liens externes ===
{{Liens}}

{{Palette|Logique}}

{{Portail|mathématiques|logique|Autriche|États-Unis|XXe siècle}}

{{DEFAULTSORT:Godel, Kurt}}
[[Catégorie:Kurt Gödel|*]]
[[Catégorie:Mathématicien autrichien du XXe siècle]]
[[Catégorie:Personnalité en informatique théorique]]
[[Catégorie:Épistémologue autrichien]]
[[Catégorie:Épistémologue américain]]
[[Catégorie:Logicien américain]]
[[Catégorie:Logicien autrichien]]
[[Catégorie:Personnalité en théorie de la démonstration]]
[[Catégorie:Personnalité en théorie des ensembles]]
[[Catégorie:Étudiant de l'université de Vienne]]
[[Catégorie:Récipiendaire de la National Medal of Science]]
[[Catégorie:Docteur honoris causa de l'université de Princeton]]
[[Catégorie:Naissance en avril 1906]]
[[Catégorie:Naissance à Brünn]]
[[Catégorie:Naissance dans le margraviat de Moravie]]
[[Catégorie:Décès en janvier 1978]]
[[Catégorie:Décès à Princeton (New Jersey)]]
[[Catégorie:Décès à 71 ans]]
[[Catégorie:Éponyme d'un objet céleste]]
[[Catégorie:Privat-docent]]

title: Données clés

Naissance: 28 avril 1906 · Brünn (Autriche-Hongrie)

Décès: 14 janvier 1978 (à 71 ans) · Princeton (États-Unis)

Nationalité: autrichienne · américaine

title: Données clés

Domaines: logique mathématique, mathématiques

Institutions: Institute for Advanced Study (Princeton)

Diplôme: université de Vienne

Renommé pour: Théorème de complétude de Gödel · Théorèmes d'incomplétude de Gödel · Hypothèse du continu · Preuve ontologique de Gödel

Distinctions: Prix Albert Einstein (1951) · National Medal of Science (1974)