x-uni.com
регистрация / вход
сейчас на линии 93 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 93 чел.
Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Д., 1982

Справочная книга по математической логике, Часть 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)
Литература

Скачать бесплатно на сайте fileskachat.com

Предложения интернет-магазинов

Полифония доказательств: учебное пособие

Автор(ы): Мадер Виктор Викторович   Издательство: Мнемозина, 2009 г.

Цена: 267 руб.   Купить

Данная книга адресована учителям и учащимся школ с углубленным изучением математики. Но большая ее часть может быть использована и в обычных школах. Приведенные в пособии теоремы планиметрии доказываются различными способами; во многих случаях приведено до десяти доказательств. При этом обсуждаются и некоторые проблемы эвристики, приводятся интересные историко-математические сведения и рассказывается о жизни и деятельности великих математиков. Книга может быть использована и для стимулирования самостоятельной творческой деятельности учащихся. Она будет полезна также студентам математических отделений педагогических вузов.


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 1. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

Цена: 209 руб.   Купить

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика, 1 класс", часть 1 (автор Н. Б. Истомина). 15-е издание, исправленное.


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 2. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

Цена: 206 руб.   Купить

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика. 1 класс", часть 2 (автор Н.Б. Истомина). 15-е издание, исправленное.


Математика. 2 класс. Рабочая тетрадь. В 2-х частях. Часть 1. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2016 г.  Серия: Математика

Цена: 195 руб.   Купить

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке и дома. Структура тетради соответствует логике построения содержания учебника "Математика. 2 класс. Часть 1" (автор Н. Б. Истомина). 17-е издание.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!