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 [etc.] : World Scientific, cop. 2003.
Edition/Format:   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


<http://www.worldcat.org/oclc/469633159>
library:oclcnum"469633159"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/469633159>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:author
schema:bookEdition"Rev. ed."
schema:contributor
schema:contributor
schema:copyrightYear"op."
schema:datePublished"2003"
schema:exampleOfWork<http://worldcat.org/entity/work/id/842073>
schema:inLanguage"en"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"
schema:name"Gödel and other logicians"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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