Activité sur Le Théorème de Gödel

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

1931 • livre de Jean-Yves Girard, Kurt Gödel, Ernest Nagel et James Roy Newman

Résumé : 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.