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
Database:WorldCat
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://dewey.info/class/511.36/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt_1906_1978> ; # Kurt Gödel
    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://experiment.worldcat.org/entity/work/data/842073#Person/takeuchi_gaishi_1926> ; # 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#Person/godel_kurt_1906_1978> # 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://experiment.worldcat.org/entity/work/data/842073#Person/takeuchi_gaishi_1926> # Gaishi Takeuchi
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:deathDate "" ;
    schema:familyName "Takeuchi" ;
    schema:givenName "Gaishi" ;
    schema:name "Gaishi Takeuchi" ;
    .

<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://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.