per Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
IVA inclòs
Última unitat!3 persones el tenen al carret
Mètodes de pagament disponibles
Més de 2 milions de productes venuts
I més de 800.000 títols en estoc
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
«Gödel's Proof» és l'assaig de divulgació lògico-matemàtica d'Ernest Nagel i James R. Newman, publicat per NYU Press en tapa dura (129 pàgines, en anglès).
Nagel i Newman exposen el descobriment de Kurt Gödel (1931): l'existència de proposicions formalment indecidibles a Principia Mathematica i sistemes relacionats. De manera accessible, repassen la noció de consistència, la codificació de la lògica formal i l'aritmetització de la metamatemàtica per mostrar les implicacions d'aquesta prova.
Aquesta edició revisada inclou un nou pròleg de Douglas R. Hofstadter; l'obra es va publicar originalment el 1958.
Pensat per a estudiants, acadèmics i professionals de matemàtiques, informàtica, lògica i filosofia, i per a qualsevol lector interessat en aquestes matèries.
