|
|
libcats.org
Memoirs of a proof theorist: Goedel and other logiciansGaisi Takeuti, Nicholas Passell, Mariko YasugiThis 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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Applied Cryptography and Network Security, 3 conf., ACNS 2005Автор: John Ioannidis, Автор: Angelos KeromytisКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.65 Mb
Справочник слесаря по контрольно-измерительным приборамАвтор: Гресько А.А., Автор: Долгая Л.А.Категория: Справочники
Размер книги: 2.87 Mb
Strategic Logic and Political Rationality: Essays in Honor of Michael I. HandelАвтор: Bradford LeeКатегория: Математика, Математическая логика
Размер книги: 2.23 Mb
Late Kant: Towards Another Law of the EarthАвтор: Peter FenvesКатегория: Геология
Размер книги: 1.91 Mb
Discipleship and Family Ties in Mark and Matthew (Society for New Testament Studies Monograph Series)Автор: Stephen C. BartonКатегория: Образование
Размер книги: 6.45 Mb
Logics in artificial intelligence : 13th European conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedingsАвтор: Luis Fariñas del Cerro; Andreas Herzig; Jérôme MenginКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.88 Mb
Illustrated Catalogue of a Portion of the Collections Made During the Field Season ofАвтор: Holmes William HКатегория: fiction
Размер книги: 1.33 Mb
|
|
|