Memoirs Of A Proof Theorist: Godel & Other Logicians

Nicholas Passell, Mariko Yasugi (Autoren)

Buch | Hardcover

156 Seiten

2003
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-238-279-5 (ISBN)

Infos

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, and his interpretation of Godel's comprises attitudes towards mathematical logic.

---

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.

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 14.2.2003
• Verlagsort: Singapore
• Sprache: englisch
• Themenwelt: Literatur ► Biografien / Erfahrungsberichte
• Themenwelt: Mathematik / Informatik ► Mathematik ► Geschichte der Mathematik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 981-238-279-8 / 9812382798
• ISBN-13: 978-981-238-279-5 / 9789812382795
• Zustand: Neuware