Memoirs of a proof theorist : Gödel and other logicians
Author(s)
Bibliographic Information
Memoirs of a proof theorist : Gödel and other logicians
World Scientific, c2003
- Other Title
-
ゲーデル
Available at 10 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
"This book is a translation from Japanese of the September 10, 1998 revision of Gaisi Takeuti's Gödel first published in 1986 by Nippon Hyoron Sha,LTD, Tokyo, Japan."--Translators' foreword
Description and Table of Contents
Description
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.
Table of 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.
by "Nielsen BookData"