Additional Product Features
Intended AudienceScholarly & Professional
LCCN2001-044481
Reviews"An excellent nontechnical account of the substance of Gdel's celebrated paper." -American Mathematical Society,, "This is an extraordinarily important book. Marjorie Cohn has gathered some of the most knowledgeable and thoughtful voices who understand and oppose the horrific decision by the Bush/Cheney administration to employ torture to fight terrorists. In these pages they explain not only what was done but why it was so terribly wrong." - John W. Dean, former Nixon White House counsel and author of Conservatives Without Conscience, "This book is incredible. The truth is right there on the pages, assembled for everyone to see and read and understand. Finally. Accountability is the first step in healing as a nation. The last line of the final chapter says it all:'Let us begin.' Indeed, we must." - Janis L. Karpinski, former Brigadier General, U.S. Army, and author of One Woman's Army: The Commanding General of Abu Ghraib Tells Her Story, "An excellent addition to the cannon of work relating to the post-9/11 embrace of torture by the Bush Administration as well as the subsequent erosion of constitutional and international legal principles."-Adam L. Kress, Law and Politics Book Review, "Because whistleblowers leaked the Abu Ghraib photos and some of the torture memos, the torture and abuse committed by the United States entered the national discourse. This book is the result of those efforts and this critical work by leading scholars and journalists who courageously provide a roadmap for holding Bush officials accountable for their war crimes." - Daniel Ellsberg, author of Secrets: A Memoir of Vietnam and the Pentagon Papers, "An excellent nontechnical account of the substance of Gödel's celebrated paper." -American Mathematical Society,, "An excellent nontechnical account of the substance of Gödel's celebrated paper." -American Mathematical Society, ( "An excellent nontechnical account of the substance of G del's celebrated paper." )-(American Mathematical Society),(), "A magnificent, though deeply disturbing collection of essays on torture, considering its history, its use since September 11, and the obstacles to holding those responsible accountable. This is the best collection of essays on the topic and it leaves no doubt that the nation has not yet come to grips with the inhumanity perpetrated under the guise of national security." - Erwin Chemerinsky, Dean and Distinguished Professor of Law, University of California, Irvine, School of Law
IllustratedYes
Dewey Decimal510.1
Table Of ContentContents Foreword to the New Edition by Douglas R. Hofstadter ix Acknowledgments xxiii i Introduction 1 ii The Problem of Consistency 7 iii Absolute Proofs of Consistency 25 iv The Systematic Codification of Formal Logic 37 v An Example of a Successful Absolute Proof of Consistency 45 vi The Idea of Mapping and Its Use in Mathematics 57 vii Godel's Proofs 68 a Godel numbering 68 b The arithmetization of meta-mathematics 80 c The heart of Godel's argument 92 viii Concluding Reflections 109 Appendix: Notes 114 Brief Bibliography 125 Index 127
SynopsisAn accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic 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. New York University Press is proud to publish this special edition of one of its bestselling 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., In 1931 Kurt Godel 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. Godel 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 Godel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject., 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. New York University Press is proud to publish this special edition of one of its bestselling 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.
LC Classification NumberQA9.65.N34 2002