< 1 >
Kurt Gödel
Le mathématicien autrichien Kurt Friedrich Gödel (1906 - 1978) était un logicus important, célèbre pour son théorème d’incomplétude.
- Théorèmes d’incomplétude
- Intelligence artificielle
- Hypothèse du continuum
- Théorie de la relativité générale