000			02204cam a2200337 a 4500
001			12487715
003			ARRUPE
005			20211102104056.0
008			010730s2001 nyua b 001 0 eng
010			_a 2001044481
020			_a0814758169 (acidfree paper)
040			_aDLC _cDLC _dDLC
050	0	0	_aQA9.65 _b.N34 2001
082	0	0	_a511.3 _221
100	1		_aNagel, Ernest, _d1901-1985. _919450
245	1	0	_aGödel's proof / _cby Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.
250			_aRev. ed.
260			_aNew York : _bNew York University Press, _cc2001.
300			_axxiii, 129 p. : _bill. ; _c21 cm.
504			_aIncludes bibliographical references (p. 125) and index.
505	8		_aMachine generated contents note: Foreword to the New Edition by Douglas R Hofstadter ix -- Acknowledgments xxiii -- i Introduction I -- II The Problem of Consistency 7 -- inI 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 G6del'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.
650		0	_aGödel's theorem. _950881
700	1		_aNewman, James R. _q(James Roy), _d1907-1966. _950882
700	1		_aHofstadter, Douglas R., _d1945- _950489
856	4	1	_3Table of contents _uhttp://www.loc.gov/catdir/toc/fy022/2001044481.html
856	4	2	_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy0734/2001044481-b.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0807/2001044481-d.html
906			_a7 _bcbc _corignew _d1 _eocip _f20 _gy-gencatlg
942			_2lcc _cMONOGRAPH
999			_c131068 _d131068