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 p. : ill., ports. ; 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: Gderu.
Gdel and other logicians
Responsibility: Mariko Yasugi, Nicholas Passell.

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


<http://www.worldcat.org/oclc/232364726>
library:oclcnum"232364726"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:alternateName"Gdel and other logicians"
schema:bookEdition"Rev. ed"
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork
schema:inLanguage"en"
schema:name"Memoirs of a proof theorist : Godel and other logicians"
schema:numberOfPages"135"
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.