Kurt Gôdel

Kurt Gödel, mathématicien naturalisé américain né en 1906 à Brno (Autriche) et mort en 1978 à Princeton (New Jersey)

Dans n’importe quelle théorie récursivement axiomatisable, cohérente, capable de « formaliser l’arithmétique »,
on peut construire un énoncé arithmétique qui ne peut être ni prouvé ni réfuté dans cette théorie.
(théorème d’incomplétude de Gödel -1931)
< Retour

Gödel et Einstein à l'Institut de Recherche Avancée de Princeton