skip to content
Gödel's proof Preview this item
ClosePreview this item
Checking...

Gödel's proof

Author: Ernest Nagel; Douglas R Hofstadter; James R Newman
Publisher: New York : New York University Press, ©2001.
Edition/Format:   Print book : English : Rev. edView all editions and formats
Database:WorldCat
Summary:

Best-selling book that challenges basic assumptions of logic

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ernest Nagel; Douglas R Hofstadter; James R Newman
ISBN: 0814758169 9780814758168
OCLC Number: 635507707
Description: xxiii, 129 p. : ill. ; 21 cm
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.
Responsibility: by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.
More information:

Reviews

Editorial reviews

Publisher Synopsis

"A little masterpiece of exegesis." -Nature "An excellent nontechnical account of the substance of Godel's celebrated paper." -American Mathematical Society

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/635507707> # Gödel's proof
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "635507707" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
   schema:about <http://experiment.worldcat.org/entity/work/data/476504#Thing/godel_theorems_mathematical_logic> ; # GÖDEL THEOREMS (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/476504#Thing/theoremes_de_godel_logique_mathematique> ; # THÉORÈMES DE GÖDEL (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/476504#Thing/godelsche_satze_mathematische_logik> ; # GÖDELSCHE SÄTZE (MATHEMATISCHE LOGIK)
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/476504#Person/newman_james_r> ; # James R. Newman
   schema:contributor <http://viaf.org/viaf/19695103> ; # Douglas R. Hofstadter
   schema:copyrightYear "2001" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/476504#Person/nagel_ernest_1901_1985> ; # Ernest Nagel
   schema:datePublished "2001" ;
   schema:description "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." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/476504> ;
   schema:inLanguage "en" ;
   schema:name "Gödel's proof" ;
   schema:numberOfPages "129" ;
   schema:productID "635507707" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/635507707#PublicationEvent/new_york_new_york_university_press_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/476504#Agent/new_york_university_press> ; # New York University Press
   schema:url <http://catdir.loc.gov/catdir/toc/fy022/2001044481.html> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0807/2001044481-d.html> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0734/2001044481-b.html> ;
   schema:workExample <http://worldcat.org/isbn/9780814758168> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/635507707> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/476504#Agent/new_york_university_press> # New York University Press
    a bgn:Agent ;
   schema:name "New York University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/476504#Person/nagel_ernest_1901_1985> # Ernest Nagel
    a schema:Person ;
   schema:birthDate "1901" ;
   schema:deathDate "1985" ;
   schema:familyName "Nagel" ;
   schema:givenName "Ernest" ;
   schema:name "Ernest Nagel" ;
    .

<http://experiment.worldcat.org/entity/work/data/476504#Person/newman_james_r> # James R. Newman
    a schema:Person ;
   schema:familyName "Newman" ;
   schema:givenName "James R." ;
   schema:name "James R. Newman" ;
    .

<http://experiment.worldcat.org/entity/work/data/476504#Thing/godel_theorems_mathematical_logic> # GÖDEL THEOREMS (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "GÖDEL THEOREMS (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/476504#Thing/godelsche_satze_mathematische_logik> # GÖDELSCHE SÄTZE (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "GÖDELSCHE SÄTZE (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/476504#Thing/theoremes_de_godel_logique_mathematique> # THÉORÈMES DE GÖDEL (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "THÉORÈMES DE GÖDEL (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://id.worldcat.org/fast/949806> # Gödel's theorem
    a schema:Intangible ;
   schema:name "Gödel's theorem" ;
    .

<http://viaf.org/viaf/19695103> # Douglas R. Hofstadter
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Hofstadter" ;
   schema:givenName "Douglas R." ;
   schema:name "Douglas R. Hofstadter" ;
    .

<http://worldcat.org/isbn/9780814758168>
    a schema:ProductModel ;
   schema:isbn "0814758169" ;
   schema:isbn "9780814758168" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.