door Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Gödel's Proof» is het logisch-wiskundige populairwetenschappelijke essay van Ernest Nagel en James R. Newman, uitgegeven door NYU Press in hardcover (129 pagina's, in het Engels).
Nagel en Newman leggen de ontdekking van Kurt Gödel (1931) uit: het bestaan van formeel onbeslisbare proposities in Principia Mathematica en verwante systemen. Op toegankelijke wijze behandelen ze het begrip consistentie, de codering van formele logica en de aritmetisering van de metamethematica om de implicaties van dit bewijs te tonen.
Deze herziene editie bevat een nieuw voorwoord van Douglas R. Hofstadter; het werk werd oorspronkelijk gepubliceerd in 1958.
Gedacht voor studenten, academici en professionals in wiskunde, informatica, logica en filosofie, en voor elke lezer die in deze onderwerpen geïnteresseerd is.
