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.
- ISBN10 1281935751
- ISBN13 9781281935755
- Publish Date 1 January 2003
- Publish Status Active
- Out of Print 17 February 2015
- Publish Country US
- Imprint World Scientific Publishing Company
- Format eBook
- Pages 135
- Language English