This volume is a translation of the book Goedel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Goedel, Takeuti's personal recollections, and his interpretation of Goedel'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.
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Produkt-Hinweis
Fadenheftung
Gewebe-Einband
Maße
Höhe: 239 mm
Breite: 153 mm
Dicke: 13 mm
Gewicht
ISBN-13
978-981-238-279-5 (9789812382795)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
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.