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: Gaisi Takeuti
Publisher: Singapore ; River Edge, NJ : World Scientific, ©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; Kurt Gödel; Kurt Gödel
Document Type: Book
All Authors / Contributors: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC Number: 52400536
Notes: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Description: xviii, 135 pages : illustrations ; 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: Gēderu.
Gödel and other logicians
Responsibility: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

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/52400536> # Memoirs of a proof theorist : Gödel and other logicians
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/52400536#CreativeWork/unidentifiedOriginalWork> ; # Gēderu.
   library:oclcnum "52400536" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   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://experiment.worldcat.org/entity/work/data/842073#Topic/logica> ; # Logica
   schema:about <http://dewey.info/class/511.30922/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:alternateName "Gödel and other logicians" ;
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2003" ;
   schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/842073> ; # Gēderu.
   schema:inLanguage "en" ;
   schema:name "Memoirs of a proof theorist : Gödel and other logicians"@en ;
   schema:productID "52400536" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/52400536#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/52400536> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/842073#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la"@fr ;
    .

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

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

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

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

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