Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Д., 1982
Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Д., 1982.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Последний том «Справочной книги по математической логике» содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики. Эти обзоры не претендуют на полное описание новейших достижений теории доказательств. Это было бы очень трудно сделать в рамках одной книги. Составители ограничились обзорами небольшого числа тех областей теории доказательств, которые в последнее время активно развивались и которые тесно переплетаются с другими областями математической логики, алгебры и топологии. В худшем положении оказалась конструктивная математика. В посвященной ей главе 5, написанной А. С. Трулстрой, термин «конструктивная математика» трактуется очень широко: по А. С. Трулстре конструктивная математика включает в себя интуиционизм. Поэтому в главе 5 уделяется много внимания различным современным вариантам интуиционизма, а некоторые важные специфические понятия и результаты собственно конструктивной математики не затронуты.
СОДЕРЖАНИЕ
§ 1. Программа Гильберта
§ 2. Теоремы Гёделя
2.1. Предварительные сведения (14)
2.2. Доказательство теоремы о неполноте (15)
2.3. Что будет (17)
§ 3. Кодирование
3.1. Примитивно рекурсивное кодирование конечных последовательностей (19)
3.2. Примитивно рекурсивное кодирование синтаксиса (23)
3.3. Теорема Россера (29)
*3.4. Теория рекурсии *)(29)
*3.5. Иерархия формул (31)
§ 4. Метаматематические свойства, отличные от непротиворечивости
4.1, Принципы рефлексии (33)
*4.1a. Соображения иерархии (37)
4.2. w-непротиворечивость (40)
4.3. Свойства полноты (42)
*4.3a. Теорема Кеита (43)
§ 5. Два приложения
5.1. Теорема о неподвижной точке (44)
5.2. Результаты о консервативности (47)
§ 6. Формализованная теорема о полноте
*6.1. Теорема Гильберта — Бериайса о полноте (48)
*6.2. Теоремы о неполноте (49)
*6.3. Комментарии (53)
Литература
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12788 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Солнечная система №88 (2014)
Название: Солнечная система №88 (2014) Автор: Коллектив Год издания: 2014 Страниц: 24 Язык: Русский Формат: Pdf Качество: отличное Размер: 79.6 МбОписание: Солнечная система - вас ждет иллюстрированн . . .
-
Essentials of Stem Cell Biology (2nd ed.)
Название: Essentials of Stem Cell Biology (2nd ed.) Автор: Lanza R. Издательство: Academic Press Год издания: 2009 Страниц: 681 ISBN: 978-0-12-374729-7 Язык: Английский Формат: PDF Качество: отличное . . .
-
Установка счетчиков воды своими руками
Название: Установка счетчиков воды своими руками Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: Mp4 Качество: отличное Размер: 328.6 МбОписание: Если вы решили установ . . .
-
Самая безопасная и экономичная система отопления
Название: Самая безопасная и экономичная система отопления Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: Mp4 Качество: отличное Размер: 177.04 МбОписание: В ожидании . . .
-
Информатика и ИКТ 5 Класс
Название: Информатика и ИКТ 5 Класс Автор: Макарова Н.В. Издательство: Питер пресс ISBN: 978-5-91180-573-9 Год издания: 2007 Страниц: 95 Язык: Русский Формат: JPEG Качество: хорошее Размер: 78 Мб Оп . . .
-
Котел отопления своими руками
Название: Котел отопления своими руками Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: Mp4 Качество: отличное Размер: 364.35 МбОписание: В нашей стране довольно много . . .
-
Genetics. Analysis and Principles (4th ed.)
Название: Genetics. Analysis and Principles (4th ed.) Автор: Brooker R. Издательство: McGraw-Hill Год издания: 2012 Страниц: 868 ISBN: 978–0–07–352528–0 Язык: Английский Формат: PDF Качество: отличное . . .
-
Повторное использование металлоконструкций. Своими руками
Название: Повторное использование металлоконструкций. Своими руками Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: Mp4 Качество: отличное Размер: 572.21 МбОписание: Ме . . .
-
Возможности федеральных инвестиций через ГЧП. Сборник нормативных актов по ГЧП в Российской Федерации
Название: Возможности федеральных инвестиций через ГЧП. Сборник нормативных актов по ГЧП в Российской Федерации Автор: Коллектив авторов Издательство: Альпина Бизнес Букс Год издания: 2009 Страниц: . . .
-
Справочники Радиолюбителя (22 книги)
Название: Справочники Радиолюбителя (22 книги) Автор: Сборник Издательство: Разные Год издания: 1997-2012 Язык: Русский Формат: DjVu, PDF Качество: отличное Размер: 91.4 МбОписание: Разнообразие и с . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.