Memoirs of a proof theorist : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.

Format:

Book

Author/Creator:

Takeuti, Gaisi, 1926-2017.

Standardized Title:

Gēderu. English

Language:

English

Subjects (All):

Proof theory.

Gödel, Kurt.

Physical Description:

1 online resource (156 p.)

Edition:

[Rev. ed.].

Other Title:

Proof theorist

Place of Publication:

River Edge, NJ : World Scientific, c2003.

Language Note:

English

Summary:

This volume is a translation of the book <i>Gödel</i>, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order log

Contents:

Contents ; Translators' Foreword ; Preface to the Original Edition ; Preface to the Revised Edition ; Author's Preface to the Translation ; 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

Notes:

Description based upon print version of record.

Includes bibliographical references.

ISBN:

9786611935757

9781281935755

1281935751

9789812795359

9812795359

OCLC:

815752550