Kurt Gödel
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Godel.
![Description de cette image, également commentée ci-après](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/Young_Kurt_G%C3%B6del_as_a_student_in_1925.jpg/220px-Young_Kurt_G%C3%B6del_as_a_student_in_1925.jpg)
Naissance | Brünn (Autriche-Hongrie) |
---|---|
Décès | (à 71 ans) Princeton (États-Unis) |
Nationalité | ![]() ![]() |
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) |
![Signature de Kurt Gödel](http://upload.wikimedia.org/wikipedia/commons/thumb/0/03/Kurt_G%C3%B6del_signature.svg/langfr-170px-Kurt_G%C3%B6del_signature.svg.png)
modifier
Kurt Gödel, né le à Brünn (Autriche-Hongrie) et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain[n 1],[2].
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[n 2], et de Marianne Handschuh[n 3]. 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[n 4]. À l'âge de douze ans, lors du démembrement de l'Autriche-Hongrie le , 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[n 5],[6].
É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[4]), à 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é[n 6]. 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[n 7]. 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 celle qui deviendra — tardivement — sa femme, Adele Porkert[8].
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[n 8]. 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 , à 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[10]. 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[n 9] 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[n 10] ainsi que la logique mathématique en général.
Cependant, le , 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 , 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[n 11]. Sa présence en tant qu'intellectuel indépendant étant une gêne pour les nazis, en , 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 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[n 12]. Ils arrivent à San Francisco le suivant, après avoir emprunté le Transsibérien et traversé l'océan Pacifique incognito, de peur d'être arrêtés[13],[14],[15].
Émigration aux États-Unis
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/12/Fuld_Hall%2C_Institute_for_Advanced_Study%2C_Princeton%2C_NJ_-_looking_north.jpg/220px-Fuld_Hall%2C_Institute_for_Advanced_Study%2C_Princeton%2C_NJ_-_looking_north.jpg)
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 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[16],[n 13],[18].
Fin de vie
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Kurt_godel_tomb_2004.jpg/220px-Kurt_godel_tomb_2004.jpg)
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[19]. Il doit être interné à l'hôpital de Princeton où il décède le ; il pesait alors 65 livres (29,5 kg)[20],[21].
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é[n 14]. 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[23].
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 à Providence, aux États-Unis[n 15]. 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[n 16],[26],[n 17].
Â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[28].
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é[19],[n 18] ». 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 »[30]. 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[n 19], 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[n 20],[n 21]. 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 »[34].
Parcours
Travaux à Vienne
Il prouve dans sa thèse, présentée le 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 . 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 :
- 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[n 22].
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[35].
Travaux à Princeton
À Princeton, il se tourne encore plus vers la philosophie[n 23] et la physique. Entre 1943 et 1946, il étudie de « façon assez systématique » les travaux de Leibniz[36]. 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[n 24], 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[38],[39].
Honneurs
En , 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[40]. 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 25],[41].
- 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, De Gruyter, 3 volumes parus sous la direction d'Eva-Maria Engelen (de).
Notes et références
Notes
- ↑ Le plus souvent considéré comme autrichien, il est né à Brünn en Autriche-Hongrie, est naturalisé tchécoslovaque à 12 ans, puis autrichien à 23 ans. Lorsque Hitler ordonne l'annexion de l'Autriche, Gödel devient allemand (il a alors 32 ans). Il émigre aux États-Unis pendant la Seconde Guerre mondiale et obtient la double nationalité austro-américaine à 42 ans[1].
- ↑ Ce qui n'est pas peu dire, puisque Brno figurait parmi les villes industrielles les plus importantes de l'Empire austro-hongrois et se démarquait par la qualité et le nombre de ses industries textiles[3].
- ↑ Sa mère Marianne était allemande et avait étudié la littérature en Allemagne et en France[4].
- ↑ 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[5].
- ↑ 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[1].
- ↑ 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[7].
- ↑ 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[7].
- ↑ 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[9].
- ↑ Série de conférences intitulée « De l'indécidabilité des postulats des systèmes mathématiques formels ». Stephen Kleene et J. Barkley Rosser prennent en note ces conférences, publiées dans les Œuvres complètes de Gödel.
- ↑ Dans laquelle s'illustrèrent Alonzo Church, Willard Van Orman Quine et Stephen Cole Kleene[11].
- ↑ Que son épouse fait fuir à coups de parapluie[12].
- ↑ La guerre entre l'Allemagne, la France et le Royaume-Uni avait déjà commencé[12].
- ↑ 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 — 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érite en 1976[17].
- ↑ 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[22].
- ↑ 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[24].
- ↑ 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[25].
- ↑ L'origine de son point de vue platoniste n'est pas simple à déterminer[27].
- ↑ « Les idées sont-elles aux anges ce que la matière est pour nous ? » (note de Kurt Gödel)[29]
- ↑ « 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. »[31].
- ↑ Kurt Gödel déclare « 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[32]
- ↑ « 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 »[33].
- ↑ 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.
- ↑ Selon Wang, « son travail est devenu plus philosophique que mathématique[36]. »
- ↑ Comme participation à un volume consacré à l'œuvre d'Einstein dans La bibliothèque des philosophes vivants édité par P.A.Schilpp[37].
- ↑ 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.
Références
- ↑ a et b Piñeiro et Soubeyrand 2018, p. 53.
- ↑ Denis Huisman, Dictionnaire des philosophes, Paris, Presses universitaires de France, , 1532 p. (ISBN 2-13-045524-7, 9782130455240 et 2130455255, OCLC 214938890, présentation en ligne), « Gödel/Jacques Dubucs », p. 1146-1148.
- ↑ Piñeiro et Soubeyrand 2018, p. 17.
- ↑ a et b Piñeiro et Soubeyrand 2018, p. 18.
- ↑ Piñeiro et Soubeyrand 2018, p. 18-19.
- ↑ Piñeiro et Soubeyrand 2018, p. 17-19/53.
- ↑ a et b Piñeiro et Soubeyrand 2018, p. 55.
- ↑ Palle Yourgrau 2005, p. 17.
- ↑ Piñeiro et Soubeyrand 2018, p. 56.
- ↑ Julien Cervelle et Laura Fontanella, « Kurt Gödel : ses théorèmes d’incomplétude ont ébranlé les mathématiques », sur The Conversation, (consulté le )
- ↑ Piñeiro et Soubeyrand 2018, p. 92.
- ↑ a et b Piñeiro et Soubeyrand 2018, p. 94.
- ↑ (en) John J. O'Connor et Edmund F. Robertson, « Kurt Gödel », sur MacTutor, université de St Andrews.
- ↑ Palle Yourgrau 2005, p. 114.
- ↑ Piñeiro et Soubeyrand 2018, p. 53-57/89-94.
- ↑ Palle Yourgrau, Einstein/Gödel. Quand deux génies refont le monde, éd. Dunod (2005), p. 129, qui s'appuie sur (en) John Dawson, Logical Dilemmas: The Life and Works of Kurt Gödel, Wellesley (Mass.), éd. A. K. Peters (1997).
- ↑ (en) Kurt Gödel: A Contradiction in the U.S. Constitution?.
- ↑ (en) Institute for Advanced Study, « Gödel, Einstein and the Immigration Service », The Institute Letter, Princeton, New Jersey, , p. 7 (lire en ligne [PDF]).
- ↑ a et b Françoise Monier, « Laurent Lemire se passionne pour les génies atteints de folie », L’express, (lire en ligne, consulté le ).
- ↑ Palle Yourgrau 2005, p. 14.
- ↑ Gustavo Ernesto Piñeiro 2018, p. 147.
- ↑ Piñeiro et Soubeyrand 2018, p. 19.
- ↑ Piñeiro et Soubeyrand 2018, p. 18-19/122.
- ↑ Piñeiro et Soubeyrand 2018, p. 149.
- ↑ Piñeiro et Soubeyrand 2018, p. 150.
- ↑ Piñeiro et Soubeyrand 2018, p. 148-150.
- ↑ Pierre Cassou-Noguès 2007, p. 95-96.
- ↑ Jean Staune, Notre existence a-t-elle un sens ?, Presses de la Renaissance, 2007, p. 427.
- ↑ Pierre Cassou-Noguès 2007, p. 94.
- ↑ Pierre Cassou-Noguès 2007, p. 121-123.
- ↑ Pierre Cassou-Noguès 2007, p. 94-95.
- ↑ Wang Hao, A Logical Journey: From Gödel to Philosophy, p. 167), tiré en l'état de Pierre Cassou-Noguès 2007, p. 94.
- ↑ Pierre Cassou-Noguès 2007, p. 101.
- ↑ Rapporté par Wang Hao dans A Logical Journey: From Gödel to Philosophy, p. 235), tiré en l'état de Pierre Cassou-Noguès 2007, p. 22.
- ↑ Piñeiro et Soubeyrand 2018, p. 57/65-66/68-85/89.
- ↑ a et b Jacques Bouveresse, « Mathématiques et logique chez Leibniz », Revue d'histoire des sciences, t. 54, no 2, , p. 225 (lire en ligne, consulté le ).
- ↑ Piñeiro et Soubeyrand 2018, p. 124.
- ↑ Jean-Paul Delahaye, « Un algorithme à un million de dollars ? », Pour la science, no 34, (lire en ligne, consulté le )Voir la lettre de Gödel à Von Neumann en 1956 dans (en) « Gödel’s Lost Letter and P=NP : a personal view of the theory of computation », sur la page de Richard J. Lipton.
- ↑ Piñeiro et Soubeyrand 2018, p. 123-124/126-128.
- ↑ Piñeiro et Soubeyrand 2018, p. 125.
- ↑ The Kurt Gödel Society.
Voir aussi
Sur les autres projets Wikimedia :
- Kurt Gödel, sur Wikimedia Commons
- Kurt Gödel, sur Wikiquote
Bibliographie
: document utilisé comme source pour la rédaction de cet article.
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard, Le théorème de Gödel, Éditions du Seuil, [détail de l’édition]. — Fournit, entre deux commentaires informels, une traduction en français de la démonstration originelle de Gödel de ses théorèmes d'incomplétude.
- Pierre Cassou-Noguès, Gödel, éd. Les Belles Lettres (« Figures du savoir » ; 34), Paris, 2003, 190 p. (ISBN 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, Gödel, éditions Les Belles Lettres, Paris, 2004. (ISBN 2-251-76040-7).
- 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, Cambridge (Mass.), MIT Press, , 391 p. (ISBN 0262231891, OCLC 468405923)
- 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, , 167 p. (ISBN 978-84-473-9555-2).
- 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, , 167 p. (ISBN 978-28-237024-1-5)
- Palle Yourgrau (trad. de l'anglais), Einstein/Gödel. Quand deux génies refont le monde, Paris, Dunod, , 289 p. (ISBN 2-10-048735-3).
- Pierre Cassou-Noguès, Les Démons de Gödel. Logique et folie, Paris, Seuil, , 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, , en ligne.
- Gianbruno Guerrerio, Gödel - Logique à la folie, Pour la science, série « Les génies de la science ».
- Douglas Hofstadter, Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle (1979), éd. Dunod, 2000 (ISBN 2-10-005435-X).
- Yannick Grannec, La Déesse des petites victoires, éditions Anne Carrière, 2012. — Roman sur la vie de Gödel, prix des libraires.
- Stephen Cole Kleene, Introduction to Metamathematics, Amsterdam, North-Holland, , 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.
- (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/ Curriculm vitae, Volumen II, (ISBN 978-80-903476-1-8), Brno, Wien, Princeton 2019.
Articles connexes
- Théorie des ensembles de von Neumann-Bernays-Gödel
- Logique de la prouvabilité
- Preuve ontologique de Gödel
- Théorèmes d'incomplétude de Gödel
- Univers de Gödel
Liens externes
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- La France savante
- Mathematics Genealogy Project
- Scopus
- Stanford Encyclopedia of Philosophy
- Notices dans des dictionnaires ou encyclopédies généralistes
:
- American National Biography
- Britannica
- Brockhaus
- Den Store Danske Encyklopædi
- Deutsche Biographie
- Enciclopedia italiana
- Encyclopédie de l'histoire de Brno
- Gran Enciclopèdia Catalana
- Hrvatska Enciklopedija
- Larousse
- Nationalencyklopedin
- Proleksis enciklopedija
- Store norske leksikon
- Treccani
- Universalis
- Visuotinė lietuvių enciklopedija
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- Japon
- CiNii
- Espagne
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Catalogne
- Suède
- Australie
- Norvège
- WorldCat
v · m | |
---|---|
Domaines académiques | |
Concepts fondamentaux |
|
Esprit critique et logique informelle | |
Logique mathématique | |
Logiques non classiques | |
Métalogique et métamathématique | |
Philosophie de la logique |
|
Logiciens |
|
Portail des mathématiques
Portail de la logique
Portail de l'Autriche
Portail des États-Unis
Portail du XXe siècle