Profile 


Title  Gödel's Proof 
Author(s)  Ernest Nagel and James R. Newman 
Edited and with a new Foreword by  Douglas R. Hofstadter 
Description  [INNER FRONT FLAP] In 1931, Kurt Gödel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able to understand the young scholar's complex proof, and the full importance of this work was largely overlooked for many years. Gödel was at last recognized by his peers and presented with the first Albert Einstein Award in 1951 for achievement in the natural sciences—the highest honor of its kind in the United States. The award committee, which included Albert Einstein and J. Robert Oppenheimer, described his work as "one of the greatest contributions to the sciences in recent times." In Gödel's Proof, Ernest Nagel and James Newman provide a readable and nontechnical explanation for both scholars and nonspecialists of the main ideas and broad implications of Gödel's discovery. First published in 1958 and in print continuously in ten languages, this highly popular, seminal work offers every educated person with an interest in mathematics, logic, and philosophy the opportunity to understand a previously difficult and inaccessible subject. [INNER BACK FLAP] In this new edition, Pulitzer prizewinning author Douglas R. Hofstadter has reviewed and updated the text of this classic work, clarifying ambiguities, making arguments clearer, and making the text more accessible than ever before. He has also added a new Foreword which reveals his own unique personal connection to this major work and the impact it has had on his own professional life, explains the essence of Gödel's proof remains revelant today. This delightful book will appeal to students, scholars, teachers, and professionals in mathematics, computer science, logic, philosophy, and general science. [BACK] In 1931 Kurt Gödel published a revolutionary paper—one that challenged certain basic assummptions underlying much traditional research in mathematics and logic. Today his exploration of terra incognita is recognized as one of the major contributions to modern scientific thought. Gödel's Proof, now revised, expanded and updated, is the first book to present a readable explanation of the main ideas and broad implications of Gödel's proof. 
Dedication  to Bertrand Russell 
ISBN  0814758169 
Book Dimensions  Width: 5.38″ (5 3/8″) 
Height: 8.25″ (8 ¼″)  
Depth: 0.75″ (¾″)  
Page Count  164 
Contents  Foreword to the New Edition by Douglas R. Hofstadter, Acknowledgements, 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, Gödel's Proof  Gödel numbering, The arithmetization of metamathematics, The heart of Gödel's argument, Concluding Reflections, Appendix: Notes, Brief Bibliography, Index 
Cover Design  ???? 
Author Photograph   
Published  October 1, 2008 
Publisher  New York University Press Washington Square New York, New York (http://www.nyupress.nyu.edu) 
Copyright  © 2001 by New York University. All Rights Reserved. 
Manufactured in  United States of America 
Book Format  Hardcover, Paperback, eTextbook, NOOK book 
Quoted Reviews 
"A little masterpiece of exegesis." —Nature "An excellent nontechnical account of the substance of Gödel's celebrated paper." —Bulletin of the American Mathematical Society 
Best Seller's List   
Other  The late ERNEST NAGEL was John Dewey Professor of Philosophy at Columbia University and the late JAMES R. NEWMAN was author of What Is Science. DOUGLAS R. HOFSTADTER is College of Arts and Sciences Professor of Computer Science and Cognitive Science at Indiana University and author of the Pulitzer prize—winning Gödel, Escher, Bach: an Eternal Golden Braid. 
Library of Congress CataloginginPublication Data  1. Gödel's theorem. 
I. Newman, James Roy, 19071966.  
II. Hofstadter, Douglas R., 1945—  
III. Title.  
CIP Number  ???? 
LC Control Number  2001044481 
LC Call Number  QA9..65 .N34 2002 
DDC Call Number  511.3—dc21 
Copyright © 20082017 by Kris Caballero  All Rights Reserved  KC Universal Network
Special thanks to MDDHosting  OS Templates