libcats.org
Главная

Memoirs of a proof theorist: Goedel and other logicians

Обложка книги Memoirs of a proof theorist: Goedel and other logicians

Memoirs of a proof theorist: Goedel and other logicians

, ,
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.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Техника и вооружение 2001 05-06

Автор:
Размер книги: 2.33 Mb

Людмила Богданова. Ворота в сказку.

Автор:
Размер книги: 14 Kb

Brahmavihara Dhamma

Автор:
Категория: Buddhism
Размер книги: 2.44 Mb

Gai-Jin

Автор:
Категория: fiction
Размер книги: 1.29 Mb