Memoirs of a Proof Theorist : Gödel and Other Logicians.

Memoirs of a Proof Theorist : Gödel and Other Logicians.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Passell, Nicholas (Author)
Format: eBook
Language:English
Japanese
Published: World Scientific 2003.
Subjects:
Gödel, Kurt.
Gödel, Kurt
Proof theory.
Proof theory
Online Access:Click for online access
Description
Summary: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. It also contains Takeuti's recollection of association with some other famous logicians. 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.
Physical Description:1 online resource
ISBN:1281935751
9781281935755
9789812795359
9812795359

Similar Items