Memoirs of a Proof Theorist 在线电子书 图书标签: 数学家传记 nemlophics
发表于2024-11-22
Memoirs of a Proof Theorist 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
This volume is a translation of the book Gvdel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gvdel, Takeuti's personal recollections, and his interpretation of Gvdel'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.
评分
评分
评分
评分
Memoirs of a Proof Theorist 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024