par Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
TVA incluse
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
«Gödel's Proof» est l'essai de vulgarisation logico-mathématique d'Ernest Nagel et James R. Newman, publié par NYU Press en couverture rigide (129 pages, en anglais).
Nagel et Newman exposent la découverte de Kurt Gödel (1931) : l'existence de propositions formellement indécidables dans Principia Mathematica et les systèmes apparentés. De manière accessible, ils passent en revue la notion de cohérence, le codage de la logique formelle et l'arithmétisation de la métamathématique pour montrer les implications de cette preuve.
Cette édition révisée comprend une nouvelle préface de Douglas R. Hofstadter ; l'ouvrage a été publié à l'origine en 1958.
Conçu pour les étudiants, les universitaires et les professionnels des mathématiques, de l'informatique, de la logique et de la philosophie, ainsi que pour tout lecteur intéressé par ces matières.
