Histoire des mathématiques Personne

Kurt Gödel

Personne

Voir dans l’arbre des maîtres et des élèves

Kurt Friedrich Gödel

mathématicien austro-américain

vie
28 avril 1906 – 14 janvier 1978
activité
Brno
origine
Brno
domaine
Époque contemporaine

Mathématicien austro-américain, né à Brno le 28 avril 1906 et mort le 14 janvier 1978, il a également travaillé à Brno. Son nom est attaché à l'énumération de Gödel, au théorème de complétude de Gödel ainsi qu'aux premier et second théorèmes d'incomplétude de Gödel.

Ses travaux

En logique mathématique, l’énumération de Gödel attribue un entier naturel unique à chaque symbole et à chaque formule bien formée de certains langages formels. Les théorèmes d’incomplétude portent sur les systèmes formels ; le second affirme qu’un système capable d’exprimer l’arithmétique de base ne peut démontrer sa propre consistance. Le théorème de complétude relève également de la logique mathématique, tandis que le théorème d’accélération concerne la taille des preuves lorsque l’on compare un système formel à un système plus puissant. S’y ajoute une machine incomplète au sens de Gödel.

Anecdotes

  • Fait attesté

    Fin 1947, Gödel passe l'examen pour devenir américain. Einstein et Oskar Morgenstern sont ses témoins. En lisant la Constitution, Gödel croit y trouver une faille qui permettrait de transformer le pays en dictature. Devant le juge, il affirme pouvoir le prouver. Le juge connaît Einstein et met fin à l'entretien. Personne n'a jamais su quel était son argument.

    Source : Wikipédia, article Kurt Gödel

  • Fait attesté

    Vers le milieu des années 1970, Gödel se persuade qu'on veut l'empoisonner. Il refuse de manger si sa femme Adele ne goûte pas d'abord les plats. Fin 1977, Adele est hospitalisée pendant six mois. Il ne mange presque plus rien et meurt à l'hôpital de Princeton le 14 janvier 1978, de dénutrition.

    Source : Wikipédia, article Kurt Gödel

Ses formules

énumération de Gödel a donné son nom à
$$\mathrm{enc}(x_1,x_2,x_3,\dots,x_n) = 2^{x_1}\cdot 3^{x_2}\cdot 5^{x_3}\cdots p_n^{x_n}$$

Liens

a contribué à
a donné son nom à
a eu pour maître

Sources

  • Wikidata CC0-1.0
  • Rédaction Synapx INTERNE