Gödel, Kurt


       
 
Brno 1906 - Princeton 1978

Principales oeuvres :

  • Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1931)
  • Cohérence des axiomes du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles (1940)