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

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

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

Петр Верещагин. Noblesse oblige

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

Earth sciences and mathematics

Автор: , Автор: , Автор:
Категория: P_Physics, PGp_Geophysics
Размер книги: 3.85 Mb

Cliffstestprep Gre Cbt

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

Why Smart People Can Be So Stupid

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

Dreadnought, Britain, Germany and the Coming of the Great War

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