|
|
libcats.org
In the Light of LogicSolomon FefermanSolomon Feferman is one of the leading figures in logic and the foundations of mathematics. This volume brings together a selection of his most important essays dealing with the light which results in modern logic cast on significant problems in the foundations of mathematics. It is essential reading for anyone interested in these subjects. Feferman presents key issues in the work of Cantor, Hilbert, Weyl, and Godel among others, and explains how they are dealt with by proof theory and other parts of logic. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Самоорганизация в неравновесных системахАвтор: Николис Г., Автор: Пригожин И. (G.Nicolis, Автор: I.Prigogine)Категория: Physics, Nonlinear chaos
Размер книги: 6.87 Mb
Этнопсихология и межнациональные отношения. Курс лекций.Автор: Крысько В.Г.Категория: НАУКА и УЧЕБА
Размер книги: 3.14 Mb
Country Boys: Masculinity And Rural Life (Rural Studies Series)Автор: Michael Mayerfeld Bell
Размер книги: 3.04 Mb
Развитие и строение органов ротовой полости и зубовАвтор: Гемонов В.В., Автор: Лаврова Э.Н., Автор: Фалин Л.И.
Размер книги: 4.88 Mb
|
|
|