ARRUPE JESUIT UNIVERSITY

CORONAVIRUS -STOP THE SPREAD - CLEAN,DISINFECT,COVER
Image from Google Jackets

Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.

By: Contributor(s): Material type: TextPublication details: New York : New York University Press, c2001.Edition: Rev. edDescription: xxiii, 129 p. : ill. ; 21 cmISBN:
  • 0814758169 (acidfree paper)
Subject(s): DDC classification:
  • 511.3 21
LOC classification:
  • QA9.65 .N34 2001
Online resources:
Contents:
Machine 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Monograph ( Printed materials) ARRUPE LIBRARY Main Collection Main Collection QA9.65 .N34 2001 (Browse shelf(Opens below)) Available 46600007035
Total holds: 0

Includes bibliographical references (p. 125) and index.

Machine 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.

There are no comments on this title.

to post a comment.

 

Arrupe Library. PO Box MP320 Mt Pleasant, Harare, Zimbabwe
263 242 745411|librarian@aju.ac.zw