skip to content
Collected works. Volume III, Unpublished essays and lectures Preview this item
ClosePreview this item
Checking...

Collected works. Volume III, Unpublished essays and lectures

Author: Kurt Gödel; Solomon Feferman; Association for symbolic logic.; et al
Publisher: New York ; Oxford : Oxford University press, 1995.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This third of logician Godel's work volume features a wide selection of unpublished articles and lecture texts found in Godel's "Nachlass", documents that enlarge considerably our appreciation of his  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: Kurt Gödel; Solomon Feferman; Association for symbolic logic.; et al
ISBN: 0195072553 9780195072556 0195147227 9780195147223
OCLC Number: 491175455
Notes: Chaque article ou groupe d'articles est précédé d'une note introductive.
Autre(s) tirage(s) : 2001 (volume broché).
Contient des addenda et corrigenda des vol. I et II
Description: 1 vol. (XVII-532 p.- [1] f. de front.) : ill., portr. ; 25 cm.
Contents: 1. The Nachlass of Kurt Godel: an overview ; 2. Godel's Gabelsberger shorthand ; 3. Godel *1930c: Introductory note to *1930c ; 4. Lecture on completeness of the functional calculus ; 5. Godel *1931?: Introductory note to *1931? ; 6. On undecidable sentences ; 7. Godel *1933c: Introductory note to *1933c ; 8. The present situation in the foundations of mathematics ; 9. Godel *1933?: Introductory note to *1933? ; 10. Simplified proof of a theorem of Steinitz ; 11. Godel *1938a: Introductory note to *1938a ; 12. Lecture at Zilsel's ; 13. Godel *1939b: Introductory note to *1939b and *1940a ; 14. Lecture at Gottingen ; 15. Godel *193?: Introductory note to *193? ; 16. Undecidable diophantine propositions ; 17. Godel *1940a ; 18. Lecture on the consistency of the continuum hypothesis ; 19. Godel *1941: Introductory note to *1941 ; 20. In what sense is intuitionistic logic constructive? ; 21. Godel *1946/9: Introductory note to *1946/9 ; 22. Some observations about the relationship between theory of relativity and Kantian philosophy ; 23. Godel *1949b: Introductory note to *1949b ; 24. Lecture on rotating universes ; 25. Godel *1951: Introductory note to *1951 ; 26. Some basic theorems on the foundations of mathematics and their implications ; 27. Godel *1953/9: Introductory note to *1953/9 ; 28. Is mathematics syntax of language? Version III ; 29. Is mathematics syntax of language? Version V ; 30. Godel *1961/?: Introductory note to *1961/? ; 31. The modern development of the foundations of mathematics in the light of philosophy ; 32. Godel *1970: Introductory note to *1970 ; 32. Ontological proof ; 33. Godel *1970a: Introductory note to *1970a, *1970b and *1970c ; 34. Some considerations leading to the probable conclusion that the true power of the continuum is N[2 ; 35. Godel *1970b ; 36. A proof of Cantor's continuum hypothesis from a highly plausible axiom about orders of growth ; 37. Godel *1970c ; 38. Unsent letter to Alfred Tarski ; Appendix A: Excerpt from *1946/9-A ; Appendix B: Texts relating to the ontological proof
Responsibility: Kurt Gödel ; edited by Solomon Feferman (editor-in-chief), John W. Dawson Jr., Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic.

Reviews

Editorial reviews

Publisher Synopsis

"This is the third volume of a comprehensive and critical edition of the works of Kurt Godel. . .All these essays and lectures are most carefully written and remarkably rich. They give considerable Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(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/491175455> # Collected works. Volume III, Unpublished essays and lectures
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/491175455#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "491175455" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4160778262#Place/oxford> ; # Oxford
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4160778262#Topic/logique_mathematique> ; # Logique mathématique
   schema:author <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "1995" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/4160778262#Person/feferman_solomon_1928> ; # Solomon Feferman
   schema:editor <http://experiment.worldcat.org/entity/work/data/4160778262#Organization/association_for_symbolic_logic> ; # Association for symbolic logic.
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4160778262> ;
   schema:inLanguage "en" ;
   schema:name "Collected works. Volume III, Unpublished essays and lectures" ;
   schema:productID "491175455" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/491175455#PublicationEvent/new_york_oxford_oxford_university_press_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4160778262#Agent/oxford_university_press> ; # Oxford University press
   schema:workExample <http://worldcat.org/isbn/9780195072556> ;
   schema:workExample <http://worldcat.org/isbn/9780195147223> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/491175455> ;
    .


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/4160778262#Agent/oxford_university_press> # Oxford University press
    a bgn:Agent ;
   schema:name "Oxford University press" ;
    .

<http://experiment.worldcat.org/entity/work/data/4160778262#Organization/association_for_symbolic_logic> # Association for symbolic logic.
    a schema:Organization ;
   schema:name "Association for symbolic logic." ;
    .

<http://experiment.worldcat.org/entity/work/data/4160778262#Person/feferman_solomon_1928> # Solomon Feferman
    a schema:Person ;
   schema:birthDate "1928" ;
   schema:deathDate "" ;
   schema:familyName "Feferman" ;
   schema:givenName "Solomon" ;
   schema:name "Solomon Feferman" ;
    .

<http://experiment.worldcat.org/entity/work/data/4160778262#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
   schema:name "Logique mathématique" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:birthDate "1906" ;
   schema:deathDate "1978" ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9780195072556>
    a schema:ProductModel ;
   schema:description "vol. 3" ;
   schema:isbn "0195072553" ;
   schema:isbn "9780195072556" ;
    .

<http://worldcat.org/isbn/9780195147223>
    a schema:ProductModel ;
   schema:description "vol. 3" ;
   schema:isbn "0195147227" ;
   schema:isbn "9780195147223" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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