Description | Kurt Gödel (28 avril 1906 - 14 janvier 1978) est un logicien et mathématicien austro-américain.
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. 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.
Le plus souvent considéré comme autrichien, il est né à Brno 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 part aux États-Unis pendant la Seconde Guerre mondiale, et obtient la double nationalité austro-américaine à 42 ans.
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). |