ENGLISH

Memoirs of a proof theorist: Goedel and other logicians

By Gaisi Takeuti , Nicholas Passell , Mariko Yasugi

Book information

Publisher
World Scientific Publishing Company
Year
2003
ISBN
9789812382795, 9789812795359, 9812382798
Open Library ID
OL22535547M
Language
english
Format
DJVU
Filesize
891 kB (912400 bytes)
Edition
Revised
Pages
155\155
Topic
Mathematics Logic
Library
kolxoz
DPI
300
Time added
2009-07-20 03:45:11

Description

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.

Similar books