skip to content
Interpreting Gödel : critical essays Preview this item
ClosePreview this item
Checking...

Interpreting Gödel : critical essays

Author: Juliette Kennedy
Publisher: Cambridge : Cambridge University Press, 2017
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

In this groundbreaking volume, leading philosophers and mathematicians explore almost every aspect of Kurt Goedel's work on the foundations and philosophy of mathematics. It will be invaluable to  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

Named Person: Kurt Gödel; Kurt Gödel
Document Type: Book
All Authors / Contributors: Juliette Kennedy
ISBN: 9781316639771 1316639770 9781107002661 1107002664
OCLC Number: 974528931
Description: 292 Seiten. ; 23 cm.
Contents: 1. Introduction: Goedel and analytic philosophy: how did we get here? Juliette Kennedy; Part I. Goedel on Intuition: 2. Intuitions of three kinds in Goedel's views on the continuum John Burgess; 3. Goedel on how to have your mathematics and know it too Janet Folina; Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization Michael Detlefsen; 5. Logical completeness, form, and content: an archaeology Curtis Franks; Part III. Computability and Analyticity: 6. Goedel's 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy; 7. Analyticity for realists Charles Parsons; Part IV. The Set-Theoretic Multiverse: 8. Goedel's program John Steel; 9. Multiverse set theory and absolutely undecidable propositions Jouko Vaananen; Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen; 11. Reflecting on logical dreams Saharon Shelah.
Responsibility: edited by Juliette Kennedy.

Reviews

Editorial reviews

Publisher Synopsis

'These essays explore most aspects of Goedel's legacy, including his conceptions of intuition and analyticity, the Completeness theorem, the set-theoretic multiverse and the current state of Read more...

 
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/974528931> # Interpreting Gödel : critical essays
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "974528931" ;
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1822460044#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1822460044#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/1822460044#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "2017" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/1822460044#Person/kennedy_juliette_1955> ; # Juliette Kennedy
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1822460044> ;
   schema:inLanguage "en" ;
   schema:name "Interpreting Gödel : critical essays" ;
   schema:productID "974528931" ;
   schema:workExample <http://worldcat.org/isbn/9781107002661> ;
   schema:workExample <http://worldcat.org/isbn/9781316639771> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/974528931> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1822460044#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/1822460044#Person/kennedy_juliette_1955> # Juliette Kennedy
    a schema:Person ;
   schema:birthDate "1955" ;
   schema:familyName "Kennedy" ;
   schema:givenName "Juliette" ;
   schema:name "Juliette Kennedy" ;
    .

<http://experiment.worldcat.org/entity/work/data/1822460044#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://experiment.worldcat.org/entity/work/data/1822460044#Topic/mathematics_philosophy> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy" ;
    .

<http://worldcat.org/isbn/9781107002661>
    a schema:ProductModel ;
   schema:isbn "1107002664" ;
   schema:isbn "9781107002661" ;
    .

<http://worldcat.org/isbn/9781316639771>
    a schema:ProductModel ;
   schema:isbn "1316639770" ;
   schema:isbn "9781316639771" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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