Последний том «Справочной книги по математической логике» содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики. Эти обзоры не претендуют на полное описание новейших достижений теории доказательств. Это было бы очень трудно сделать в рамках одной книги. Составители ограничились обзорами небольшого числа тех областей теории доказательств, которые в последнее время активно развивались и которые тесно переплетаются с другими областями математической логики, алгебры и топологии.
ПРОГРАММА ГИЛЬБЕРТА.
Даже если Гильберт и верил в теорию множеств Цермело, он не мог ее использовать: ведь он должен был не обеспечить математику, а остановить путч. Поэтому Гильберт предложил программу сохранения: чтобы оправдать использование абстрактных методов, он хотел показать как можно более простыми средствами, что абстрактные методы консервативны, т. е. что любое конкретное утверждение, которое мы можем вывести посредством таких абстрактных методов, выводов и без них. Чтобы разъяснить эти вопросы, мы введем некоторое количество гильбертовского жаргона, точное значение которого Гильберт никогда четко не разъяснял. Во-первых, в области конкретной математики имеются финитно осмысленные утверждения и финитные средства доказательства.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Теория доказательств и конструктивная математика, Барвайс Д., 1983 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
Скачать - djvu - Яндекс.Диск.
Дата публикации:
Теги: Барвайс :: книги по математике :: математика :: конструктивная математика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Справочная книга по математической логике, в 4 частях, часть 1, теория моделей, Барвайс Д., 1982
- Математика для малышей, Александрова О.В., 2012
- Математический анализ генетического кода, Козлов Н.Н., 2015
- Считаю и решаю, Володина Н.В., 2015
Предыдущие статьи:
- Maths frameworking, Year 7, Practice book, 2002
- Слева, справа, впереди, Развивающее пособие по математике для детей 3-5 лет, Дмитриева Т.В., 2001
- Серия Математика, Сложение, Бурдина С.В.
- Применение векторов для решения задач, учебное пособие по математике для учащихся 8-11 классов, Беккер Б.М., Некрасов В.Б., 2002