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

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12789 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Журнал Strawberry shortcake crochet dolls

    Strawberry shortcake crochet dolls

    Strawberry shortcake crochet dollsРазмер: 3,03MbГод: 2007 Формат: JPEGЯзык: английскийКачество:нормальноеСтраницы:38Очаровательные куклы, одежда для них и аксессуары крючком. Пошаговые фотоинструкции. . . .

  • Журнал Diana la maglia №63

    Diana la maglia №63

    Название: Diana la maglia №63 Страниц: 30Формат: djvuРазмер: 6.96МбЖурнал по вязанию на спицах и крючкомскачать с hotfile.comскачать с depositfiles.com . . .

  • Журнал Chunxia Gouzhen Bianzhi Shili Dianyafeng   2008

    Chunxia Gouzhen Bianzhi Shili Dianyafeng 2008

    Название: «Chunxia Gouzhen Bianzhi Shili Dianyafeng»Год издания: 2008Язык: китайскийСтраниц: 84Формат: djvu в архиве rarРазмер: 29.1 Мб В этом выпуске серии «Shougongfang Chunxia Gouzhen Shili Ji . . .

  • Журнал Let's knit series vol. 11 2003

    Let's knit series vol. 11 2003

    Название: Let's knit seriesГод / месяц: 2003Номер: 11Формат: JpgРазмер: 11.15 MbСтраниц: 83Популярный японский журнал по вязанию. В номере модели, выполненные крючком с подробными схемами.Скачать с de . . .

  • Журнал Pacios №20, 2009

    Pacios №20, 2009

    Название: Pacios №20, 2009 Страниц: 36Формат: jpegРазмер: 9.09МбЖурнал по вязанию на спицах и крючкомскачать с hotfile.comскачать с depositfiles.com . . .

  • Журнал Moda Crochet №11 2005

    Moda Crochet №11 2005

    Название: Moda Crochet 11 2005Автор: коллективСерия или выпуск: 11Год издания: 2005Страниц: 29Язык: ИтальянскийФормат: JPGКачество: отличноеРазмер: 4.09 МбЗнаменитый итальянсий журнал по вязанию крючк . . .

  • Журнал Gouzhen Jingpin Xuangjie №1 2008  HAND CROCHET.DREAMS

    Gouzhen Jingpin Xuangjie №1 2008 HAND CROCHET.DREAMS

    Название: Gouzhen Jingpin Xuangjie Год издания: 2008Страниц: 49Язык: ЯпонскийФормат: DJVUКачество: хорошееРазмер: 2.22 МбЗамечательный японский журнал по вязанию крючком оригинальных и ярких моделей . . .

  • Журнал Ganchillo artistico 315

    Ganchillo artistico 315

    Название: Ganchillo_artistico_315Год издания: 2008Страниц: 30Язык: ИспанскийФормат: JPGКачество: отличноеРазмер: 8.95 МбКреативный журнал по рукоделию. Вязание крючком блузы в ирландском стиле, пледов . . .

  • Журнал Ottobre 2000 №4 (для детей)

    Ottobre 2000 №4 (для детей)

    Название: OTTOBRE Год / месяц: 2000 Номер: №4Формат: PDF в RARРазмер: 47.56 МбФинский журнал по шитью. В этом номере - одежда для детей.depositfiles . . .

  • Журнал ONDORI.SPRING & SUMMER

    ONDORI.SPRING & SUMMER

    Название: ONDORI.SPRING & SUMMERАвтор: коллективГод издания: 2009Страниц: 77Язык: ЯпонскийФормат: DJVUКачество: отличноеРазмер: 9 МбОригинальный японский журнал по вязанию крючком интересных и ярких м . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 4, Теория доказательств и конструктивная математика, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.