Amazon cover image
Image from Amazon.com

Memoirs of a proof theorist : Godel and other logicians

By: Contributor(s): Material type: TextTextLanguage: English Publication details: London World Scientific 2003Description: xviii, 135pISBN:
  • 9789812382795 (HB)
Subject(s):
Contents:
1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 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 Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel 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 Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno 9. Having read "Gödel Remembered" 10. A tribute to the memory of Professor Gödel.
Summary: This volume is a translation of the book Gödel, 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 logic.
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified Status Date due Barcode
IMSc Library 51:929 TAK (Browse shelf(Opens below)) Available 75122

Includes bibliographical references.

1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 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 Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel 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 Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno 9. Having read "Gödel Remembered" 10. A tribute to the memory of Professor Gödel.

This volume is a translation of the book Gödel, 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 logic.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India