|
|
libcats.org
A Course in Mathematical Logic for MathematiciansYu. I. Manin, Neal Koblitz, B. ZilberThe book starts with an elementary introduction to formal languages appealing to the intuition of working mathematicians and unencumbered by philosophical or normative prejudices such as those of constructivism or intuitionism. It proceeds to the Proof Theory and presents several highlights of Mathematical Logic of 20th century: G?del's and Tarski's Theorems, Cohen's Theorem on the independence of Continuum Hypothesis. Unusual for books on logic is a section dedicated to quantum logic. Then the exposition moves to the Computability Theory, based on the notion of recursive functions and stressing number{theoretic connections. A complete proof of Davis{Putnam{Robinson{Matiyasevich theorem is given, as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is treated. The third Part of the book establishes essential equivalence of proof theory and computation theory and gives applications such as G?del's theorem on the length of proofs. The new Chapter IX, written for the second edition, treats, among other things, categorical approach to the theory of computation, quantum computation, and P/NP problem. The new Chapter X, written for the second edition by Boris Zilber, contains basic results of Model Theory and its applications to mainstream mathematics. This theory found deep applications in algebraic and Diophantine geometry. Yuri Ivanovich Manin is Professor Emeritus at Max-Planck-Institute for Mathematics in Bonn, Germany, Board of Trustees Professor at the Northwestern University, Evanston, USA, and Principal Researcher at the Steklov Institute of Mathematics, Moscow, Russia. Boris Zilber, Professor of Mathematics at the University of Oxford, has been added to the second edition. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
АэрофототопографияАвтор: Добровольский А., Автор: Александров С.Категория: E_Engineering
Размер книги: 10.84 Mb
Только что пользователи скачали эти книги:
Благородство ни при чемАвтор: Монро ЛюсиКатегория: Современные любовные романы
Размер книги: 885 Kb
Украинско-русский и русско-украинский фразеологичный толковый словарьАвтор: Олейник О.С., Автор: Сидоренко М.М.
Размер книги: 12.96 Mb
Reef Fish Identification - Tropical PacificАвтор: Gerald Allen, Автор: Roger Steene, Автор: Paul Humann, Автор: Ned DeLoachКатегория: Биология биохимия химия Идентификаторы
Размер книги: 73.66 Mb
Catalogue of the Osteological Portions of Specimens Contained in the Anatomical Museum of the University of Cambridge (Cambridge Library Collection - Life Sciences)Автор: William Clark
Размер книги: 1.83 Mb
|
|
|