Godel's Proof / Edition 50

Godel's Proof / Edition 50

5.0 1
by Ernest Nagel, James R. Newman, Douglas R. Hofstadter
     
 

ISBN-10: 0814758371

ISBN-13: 9780814758373

Pub. Date: 10/01/2008

Publisher: New York University Press

In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein

Overview

In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences—perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."

However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.

Marking the 50th anniversary of the original publication of Gödel's Proof, New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

Product Details

ISBN-13:
9780814758373
Publisher:
New York University Press
Publication date:
10/01/2008
Series:
Fiftieth Anniversary Edition
Edition description:
Fiftieth Anniversary Edition
Pages:
160
Sales rank:
1,125,159
Product dimensions:
4.90(w) x 7.90(h) x 0.50(d)

Table of Contents

Foreword to the New Edition by Douglas R. Hofstadter
Acknowledgments
I Introduction
II The Problem of Consistency
III Absolute Proofs of Consistency
IV The Systematic Codification of Formal Logic
V An Example of a Successful Absolute Proof of Consistency
VI The Idea of Mapping and Its Use in Mathematics
VII Gödel’s Proofs
A Gödel Numbering
B The Arithmetization of Meta-Mathematics
C The Heart of Gödel’s Argument
VIII Concluding Reflections
Appendix: Notes
Brief Bibliography
Index

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >

Godel's Proof 5 out of 5 based on 0 ratings. 1 reviews.
Anonymous More than 1 year ago