000			01656 a2200253 4500
999			_c2556 _d2556
005			20240612144117.0
008			240612b ||||| |||| 00| 0 eng d
020			_a9780814758373
041			_aeng
082			_a511.3 NAG/G
100			_aNagel, Ernest _98813
245			_aGodel's proof: where old and new media collide
250			_aRev. ed.
260			_bNew York University Press -- _c2008 _aUnited States of America --
300			_axxiii, 129p.
500			_aContents 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
520			_a 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. The authors provide an explanation of the main ideas and broad implications of Godel's discovery.
650			_aMathematics _98814
650			_aPrinciples of mathematics _98815
650			_aLogic _98816
700			_aNewman, James R _98817
700			_aHofstadter, Douglas R _9515
942			_cBK