Kurt Gödel

Kurt Gödel naît en 1906 et meurt en 1978. Il travaille en logique mathématique et contribue de façon majeure à l'étude des fondements des mathématiques.

En 1931, il démontre ses théorèmes d'incomplétude. Ils montrent, sous des conditions précises, qu'un système formel suffisamment puissant pour l'arithmétique ne peut pas établir en son sein toutes les vérités arithmétiques qu'il exprime.

Ses résultats influencent durablement la logique et la philosophie des mathématiques. Ils ne signifient pas que toute forme de connaissance est impossible: leur portée dépend des hypothèses et du type de système étudié.