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" a 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.Biographie de l'auteurKurt Gödel (1906-1978). " Le plus grand logicien depuis Aristote " (von Neumann) est né à Brno - dans l'actuelle Tchéquie - et a émigré aux Etats-Unis en 1940. Ses principales contributions se rattachent à la logique et à la théorie des ensembles.