por Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«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 tapa 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.
