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

Memoirs of a proof theorist : Godel and other logicians

Author: Mariko Yasugi
Publisher: Singapore ; River Edge, NJ : World Scientific, ©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 Gdel
Document Type: Book
All Authors / Contributors: Mariko Yasugi
ISBN: 9812382798 9789812382795
OCLC Number: 232364726
Notes: Originally published as: Gderu : Kurt Gdel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Description: xviii, 135 pages : illustrations, portraits ; 24 cm
Contents: 1. On Godel --
1.1. My fundamental conjecture and Godel --
1.2. Godel's mathematics --
1.3. The Godelian "Boom" --
2. Work of Paul Bernays and Kurt Godel --
2.1. Bernays as a collaborator of Hilbert --
2.2. Set theory and proof theory of Bernays --
2.3. The Completeness Theorem of Godel --
2.4. The Incompleteness Theorem of Godel --
2.5. Godel's method --
2.6. Godel's set theory --
2.7. The continuum problem and unpublished works --
3. Hilbert and Godel --
3.1. The Completeness Theorem --
3.2. The Incompleteness Theorem --
3.3. Set theory --
3.4. Hilbert for Godel --
3.5. Postscript --
4. Short Biographies of Logicians --
4.1. Kurt Godel --
4.2. A.A. Fraenkel and Paul Bernays --
4.3. Paul Erdos --
4.4. Alfred Tarski --
4.5. A. Heyting --
4.6. Alonzo Church --
4.7. S.C. Kleene --
4.8. Georg Kreisel --
5. Set Theory and Related Topics --
5.1. The meaning and significance of the axiom of determinateness --
5.2. The future and Godel's obsession --
5.3. Set theory and computer science --
5.4. Summing-up --
6. From Hilbert to Godel --
6.1. Hilbert 1930 --
6.2. Hilbert's Program --
6.3. Uber das Unendliche --
6.4. The Hilbert School in 1930 --
6.5. Godel enters the arena --
6.6. The disintegration of Hilbert School --
7. Axioms of Arithmetic and Consistency --
The Second Problem of Hilbert --
8. A Report from Godel '96 --
8.1. A program on a new axiom --
8.2. Godel's program on the continuum --
8.3. On Hao Wang --
8.4. Godel's theory of relativity --
8.5. Godel in Brno --
9. Having Read "Godel Remembered" --
10. A Tribute to the Memory of Professor Godel --
App. A. On Godel's Continuum Hypothesis --
App. B. Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC --
Major Figures in Logic.
Other Titles: Gderu.
Gdel and other logicians
Responsibility: Mariko Yasugi, Nicholas Passell.
More information:

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/232364726> # Memoirs of a proof theorist : Godel and other logicians
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "232364726" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_nj> ; # River Edge, NJ
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/singapore> ; # Singapore
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gdel
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:alternateName "Gdel and other logicians" ;
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2003" ;
   schema:creator <http://viaf.org/viaf/19910446> ; # Mariko Yasugi
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/842073> ; # Gderu.
   schema:inLanguage "en" ;
   schema:name "Memoirs of a proof theorist : Godel and other logicians"@en ;
   schema:productID "232364726" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/232364726#PublicationEvent/singapore_river_edge_nj_world_scientific_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/232364726> ;
    .


Related Entities

<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_nj> # River Edge, NJ
    a schema:Place ;
   schema:name "River Edge, NJ" ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

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

<http://viaf.org/viaf/97851774> # Kurt Gdel
    a schema:Person ;
   schema:familyName "Gdel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gdel" ;
    .

<http://worldcat.org/entity/work/id/842073> # Gderu.
   schema:name "Gderu." ;
    .

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