skip to content
Memoirs of a proof theorist : Gödel and other logicians Preview this item
ClosePreview this item
Checking...

Memoirs of a proof theorist : Gödel and other logicians

Author: Gaishi Takeuchi; Mariko Yasugi; Nicholas Passell
Publisher: River Edge (N.J.) ; London ; Singapore : World Scientific, cop. 2003.
Edition/Format:   Print book : English : Rev. edView all editions and formats
Summary:

This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections,  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
Document Type: Book
All Authors / Contributors: Gaishi Takeuchi; Mariko Yasugi; Nicholas Passell
ISBN: 9812382798 9789812382795
OCLC Number: 469633159
Notes: Trad. du japonais : "Gödel", Tokyo : Nippon Hyoron Sha, 1986.
Notes bibliogr.
Description: XVIII-135 p. : ill. ; 24 cm
Contents: On Godel; Work of Paul Bernays and Kurt Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Related Topics; From Hilbert to Godel; Axioms of Arithmetic and Consistency -- The Second Problem of Hilbert; A Report from Godel '96; Having Read " Godel Remembered"; A Tribute to the Memory of Professor Godel'; Appendices: On Godel's Continuum Hypothesis; Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC.
Other Titles: Gödel.
Gödel and other logicians
Responsibility: [Gaisi Takeuti] ; [translated by] Mariko Yasugi ... Nicholas Passell ...
More information:

Reviews

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/469633159> # Memoirs of a proof theorist : Gödel and other logicians
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/469633159#CreativeWork/unidentifiedOriginalWork> ; # Gödel.
   library:oclcnum "469633159" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_n_j> ; # River Edge (N.J.)
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/singapore> ; # Singapore
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:about <http://dewey.info/class/511.36/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/theorie_de_la_demonstration> ; # Théorie de la démonstration
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/logiciens> ; # Logiciens
   schema:alternateName "Gödel and other logicians" ;
   schema:author <http://viaf.org/viaf/64133112> ; # Gaishi Takeuchi
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/163876948> ; # Nicholas Passell
   schema:contributor <http://viaf.org/viaf/19910446> ; # Mariko Yasugi
   schema:copyrightYear "op." ;
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/842073> ; # Gödel.
   schema:inLanguage "en" ;
   schema:name "Memoirs of a proof theorist : Gödel and other logicians" ;
   schema:productID "469633159" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/469633159#PublicationEvent/river_edge_n_j_london_singapore_world_scientific_cop_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific> ; # World Scientific
   schema:workExample <http://worldcat.org/isbn/9789812382795> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/469633159> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_n_j> # River Edge (N.J.)
    a schema:Place ;
   schema:name "River Edge (N.J.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/842073#Topic/theorie_de_la_demonstration> # Théorie de la démonstration
    a schema:Intangible ;
   schema:name "Théorie de la démonstration" ;
    .

<http://viaf.org/viaf/163876948> # Nicholas Passell
    a schema:Person ;
   schema:familyName "Passell" ;
   schema:givenName "Nicholas" ;
   schema:name "Nicholas Passell" ;
    .

<http://viaf.org/viaf/19910446> # Mariko Yasugi
    a schema:Person ;
   schema:familyName "Yasugi" ;
   schema:givenName "Mariko" ;
   schema:name "Mariko Yasugi" ;
    .

<http://viaf.org/viaf/64133112> # Gaishi Takeuchi
    a schema:Person ;
   schema:birthDate "1926" ;
   schema:deathDate "" ;
   schema:familyName "Takeuchi" ;
   schema:givenName "Gaishi" ;
   schema:name "Gaishi Takeuchi" ;
    .

<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/entity/work/id/842073> # Gödel.
   schema:name "Gödel." ;
    .

<http://worldcat.org/isbn/9789812382795>
    a schema:ProductModel ;
   schema:isbn "9812382798" ;
   schema:isbn "9789812382795" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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