Articoli correlati a Godel's Proof: Volume 40

Godel's Proof: Volume 40 - Brossura

Nagel, Ernest; Newman, James R.

 
9780415040402: Godel's Proof: Volume 40

Sinossi

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The Guardian

Contenuti

Acknowledgments.  Introduction.  The Problem of Consistency.  Absolute Proofs of Consistency.  The Systematic Codification of Formal Logic.  An Example of a Successful Absolute Proof of Consistency.  The Idea of Mapping and its Use in Mathematics.  Godel’s Proof.  Godel Numbering.  The Arithmetization of Meta-Mathematics.  The Heart of Godel’s Argument.  Concluding Reflections.  Appendix: Notes.  Brief Bibliography.  Index

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.