por Ernest Nagel, James R. Newman · Pasta dura · ISBN 9780814758168
IVA incluido
Compra Protegida con Mercado Pago
Si el producto no llega o no es lo que pediste, Mercado Pago te devuelve tu dinero.
MercadoLíder Platinum
+10k pedidos entregados · 98% calif. positivas
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Llegamos a CDMX, Guadalajara, Monterrey, Tijuana, Mérida, Puebla y todo el país.
«Gödel's Proof» es el ensayo de divulgación lógico-matemática de Ernest Nagel y James R. Newman, publicado por NYU Press en pasta dura (129 páginas, en inglés).
Nagel y Newman exponen el descubrimiento de Kurt Gödel (1931): la existencia de proposiciones formalmente indecidibles en Principia Mathematica y sistemas relacionados. De forma accesible, repasan la noción de consistencia, la codificación de la lógica formal y la aritmetización de la metamatemática para mostrar las implicaciones de esta prueba.
Esta edición revisada incluye un nuevo prólogo de Douglas R. Hofstadter; la obra se publicó originalmente en 1958.
Pensado para estudiantes, académicos y profesionales de matemáticas, informática, lógica y filosofía, y para cualquier lector interesado en estas materias.
