di Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Gödel's Proof» è il saggio di divulgazione logico-matematica di Ernest Nagel e James R. Newman, pubblicato da NYU Press in copertina rigida (129 pagine, in inglese).
Nagel e Newman espongono la scoperta di Kurt Gödel (1931): l'esistenza di proposizioni formalmente indecidibili in Principia Mathematica e sistemi correlati. In modo accessibile, ripercorrono la nozione di coerenza, la codifica della logica formale e l'aritmetizzazione della metamatematica per mostrare le implicazioni di questa dimostrazione.
Questa edizione riveduta include una nuova prefazione di Douglas R. Hofstadter; l'opera è stata pubblicata originariamente nel 1958.
Pensato per studenti, accademici e professionisti di matematica, informatica, logica e filosofia, e per qualsiasi lettore interessato a queste materie.
