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, ©2001.
Edition/Format:   Print book : English : Rev. edView all editions and formats
Database:WorldCat
Summary:
"In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able to understand the young scholar's complex proof, and the full importance of this work was largely overlooked for many years. Godel  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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ernest Nagel; James R Newman; Douglas R Hofstadter
ISBN: 0814758169 9780814758168 9780814758373 0814758371
OCLC Number: 47805077
Description: xxiii, 129 pages : illustrations ; 21 cm
Contents: The problem of consistency --
Absolute proofs of consistency --
The systematic codification of formal logic --
An example of a successful absolute proof of consistency --
The idea of mapping and its use in mathematics --
Gödel's proofs --
A Gödel numbering --
The arithmetization of meta-mathematics --
The heart of Gödel's argument --
Concluding reflections --
Appendix: Notes --
Brief bibliography --
Index.
Responsibility: by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.
More information:

Abstract:

Best-selling book that challenges basic assumptions of logic  Read more...

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.

Similar Items

Related Subjects:(2)

User lists with this item (1)

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/47805077> # Gödel's proof
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "47805077" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
   schema:about <http://experiment.worldcat.org/entity/work/data/476504#Topic/godel_theoreme_de> ; # Gödel, Théorème de
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/19695103> ; # Douglas R. Hofstadter
   schema:contributor <http://experiment.worldcat.org/entity/work/data/476504#Person/newman_james_r_james_roy_1907_1966> ; # James Roy Newman
   schema:copyrightYear "2001" ;
   schema:creator <http://viaf.org/viaf/108245652> ; # Ernest Nagel
   schema:datePublished "2001" ;
   schema:description "The problem of consistency -- Absolute proofs of consistency -- The systematic codification of formal logic -- An example of a successful absolute proof of consistency -- The idea of mapping and its use in mathematics -- Gödel's proofs -- A Gödel numbering -- The arithmetization of meta-mathematics -- The heart of Gödel's argument -- Concluding reflections -- Appendix: Notes -- Brief bibliography -- Index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/476504> ;
   schema:inLanguage "en" ;
   schema:name "Gödel's proof"@en ;
   schema:productID "47805077" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/47805077#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:reviews <http://www.worldcat.org/title/-/oclc/47805077#Review/-495997839> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy022/2001044481.html> ;
   schema:workExample <http://worldcat.org/isbn/9780814758373> ;
   schema:workExample <http://worldcat.org/isbn/9780814758168> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA277877> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/47805077> ;
    .


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/newman_james_r_james_roy_1907_1966> # 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://experiment.worldcat.org/entity/work/data/476504#Topic/godel_theoreme_de> # Gödel, Théorème de
    a schema:Intangible ;
   schema:name "Gödel, Théorème de"@fr ;
    .

<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://worldcat.org/isbn/9780814758168>
    a schema:ProductModel ;
   schema:isbn "0814758169" ;
   schema:isbn "9780814758168" ;
    .

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

<http://www.worldcat.org/title/-/oclc/47805077#Review/-495997839>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/47805077> ; # Gödel's proof
   schema:reviewBody ""In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able to understand the young scholar's complex proof, and the full importance of this work was largely overlooked for many years. Godel was at last recognized by his peers and presented with the first Albert Einstein Award in 1951 for achievement in the natural sciences - the highest honor of its kind in the United States. The award committee, which included Albert Einstein and J. Robert Oppenheimer, described his work as "one of the greatest contributions to the sciences in recent times."" "In Godel's Proof, Ernest Nagel and James Newman provide a readable and non-technical explanation for both scholars and non-specialists of the main ideas and broad implications of Godel's discovery. First published in 1958 and in print continuously in ten languages, this highly popular, seminal work offers every educated person with an interest in mathematics, logic, and philosophy the opportunity to understand a previously difficult and inaccessible subject."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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