Le théorème de Gödel

Par son originalité et la supposée complexité dont il s'auréole, le théorème de gödel a acquis un statut quelque peu mythique dans la science, la philosophie et les médias contemporains. Enoncé en 1931, ce théorème d'" incomplétude " à de fait bouleversé la question du fondement des mathématiques. sa portée est surtout d'ordre méthodologique et philosophique ; ses difficultés " techniques " étant, quant à elles, très surestimées. pour prendre en compte ces deux aspects, le présent ouvrage rassemble - outre la traduction de l'article original de gödel - une version vulgarisée par e. nagel et j. R. newman de la démonstration de gödel, et un texte du logicien j. -y. girard qui fait le point sur les problèmes d'interprétation du célèbre théorème.