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

Gödel's proof

Author: Ernest Nagel; James R Newman; Douglas R Hofstadter
Publisher: New York : New York University Press, [2008], ©2001.
Edition/Format:   Print book : English : Rev. ed.View all editions and formats
Summary:

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  Read more...

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

Document Type: Book
All Authors / Contributors: Ernest Nagel; James R Newman; Douglas R Hofstadter
ISBN: 9780814758373 0814758371
OCLC Number: 289061767
Notes: Reprint of the 2001 rev. ed. as "50th anniversary ed."--Page 4 of cover.
Description: xxiii, 129 pages : illustrations ; 21 cm
Contents: ContentsForeword to the New Edition by Douglas R. Hofstadter ixAcknowledgments xxiiii Introduction 1ii The Problem of Consistency 7iii Absolute Proofs of Consistency 25iv The Systematic Codification of Formal Logic 37v An Example of a Successful Absolute Proof ofConsistency 45vi The Idea of Mapping and Its Use in Mathematics 57vii Godel's Proofs 68a Godel numbering 68b The arithmetization of meta-mathematics 80c The heart of Godel's argument 92viii Concluding Reflections 109Appendix: Notes 114Brief Bibliography 125Index 127
Responsibility: by Ernest Nagel and James R. Newman.

Reviews

Editorial reviews

Publisher Synopsis

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

 
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/289061767> # Gödel's proof
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "289061767" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://id.worldcat.org/fast/1018261> ; # Metamathematics
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
   schema:bookEdition "Rev. ed. /" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/19695103> ; # Douglas R. Hofstadter
   schema:contributor <http://viaf.org/viaf/74426625> ; # James Roy Newman
   schema:creator <http://viaf.org/viaf/108245652> ; # Ernest Nagel
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/476504> ;
   schema:inLanguage "en" ;
   schema:name "Gödel's proof"@en ;
   schema:productID "289061767" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/289061767#PublicationEvent/new_york_new_york_university_press_2008_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/476504#Agent/new_york_university_press> ; # New York University Press
   schema:workExample <http://worldcat.org/isbn/9780814758373> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/289061767> ;
    .


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://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1018261> # Metamathematics
    a schema:Intangible ;
   schema:name "Metamathematics"@en ;
    .

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

<http://viaf.org/viaf/108245652> # Ernest Nagel
    a schema:Person ;
   schema:birthDate "1901" ;
   schema:deathDate "1985" ;
   schema:familyName "Nagel" ;
   schema:givenName "Ernest" ;
   schema:name "Ernest Nagel" ;
    .

<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://viaf.org/viaf/74426625> # James Roy Newman
    a schema:Person ;
   schema:birthDate "1907" ;
   schema:deathDate "1966" ;
   schema:familyName "Newman" ;
   schema:givenName "James Roy" ;
   schema:givenName "James R." ;
   schema:name "James Roy Newman" ;
    .

<http://worldcat.org/isbn/9780814758373>
    a schema:ProductModel ;
   schema:isbn "0814758371" ;
   schema:isbn "9780814758373" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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