000			01707nam a2200289 a 4500
999			_c253375 _d253375
001			12487715
003			TH-BaBU
005			20250302082035.0
008			010730s2001 nyua b 001 0 eng d
010			_a2001044481
020			_a9780814758168
020			_a9780585480329 (electronic bk.)
040			_aDLC _cTH-BaBU
050	0	0	_aQA9.65 _b.N34 2001
100	1	0	_aNagel, Ernest, _d1901-1985. _9160130
245	1	0	_aGödel's proof _h[electronic resource] / _cby Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.
250			_aRev. ed.
260			_aNew York, N.Y. : _bNew York University Press, _cc2001.
300			_a1 online resource.
504			_aIncludes bibliographical references 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. _9160131
700	1		_aNewman, James R. _q(James Roy), _d1907-1966. _9160132
700	1		_aHofstadter, Douglas R., _d1945- , _eed. _9160133
856	4	1	_uhttp://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=100421&site=ehost-live&scope=site _zElectronic Resources
942			_2lcc _cEB