Le théorème de GödelErnest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard1997

Le théorème de Gödel

Par sa profonde originalité et sa supposée complexité, le théorème de Gödel a acquis un statut mythique.

Énoncé en 1931, ce théorème d’« incomplétude » a bouleversé la question du fondement des mathématiques. Si sa portée méthodologique et philosophique est considérable, ses difficultés techniques ont été très surestimées.

Pour prendre en compte ces deux aspects, le présent ouvrage rassemble la traduction de l’article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J-Y. Girard qui fait le point sur les problèmes d’interprétation de ce célèbre théorème.


Kurt Gödel (1906-1978)

« Le plus grand logicien depuis Aristote » (selon von Neumann) est né à Brno, alors autrichienne, et a émigré aux États-Unis en 1940. Ses principales contributions concernent la logique et les fondements des mathématiques.