Memoirs of a Proof Theorist: Gödel and Other Logicians by Mariko Yasugi, Nicholas Passell
Requirements: .PDF reader, 4.8mb
Overview: 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.
Genre: Non-Fiction > Educational
Download Instructions:
https://dropgalaxy.vip/jpxrpi89zfuu
https://mega4up.org/q1s5i2u28gl7
Requirements: .PDF reader, 4.8mb
Overview: 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.
Genre: Non-Fiction > Educational
Download Instructions:
https://dropgalaxy.vip/jpxrpi89zfuu
https://mega4up.org/q1s5i2u28gl7