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
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; 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: 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ē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


<http://www.worldcat.org/oclc/52400536>
bgn:translationOfWork
library:oclcnum"52400536"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"Gödel and other logicians"@en
schema:bookEdition"Rev. ed."
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork
schema:inLanguage"en"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"@en
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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