Memoirs of a Proof Theorist: Gödel and Other Logicians
World Scientific, Jan 1, 2003 - Mathematics - 135 pages
This volume is a translation of the book Godel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book a memoir of K Godel, Takeuti's personal recollections, and his interpretation of Godel's comprises 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. Contents: On Godel; Work of Bernays and Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Around It; From Hilbert to Godel; Axioms of Arithmetic and Consistency--Hilbert's Second Problem; Having Attended Godel 96; Having Read "Godel Recollected"; Condolence on Godel's Death; Appendix: On Godel's Continuum Hypothesis; On Emergence of Second Order Proof Theory by the Fundamental Conjecture of GLC. Readership: Those interested in mathematics, especially logic or the history of mathematics.
What people are saying - Write a review
We haven't found any reviews in the usual places.