URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Френкель А.А., Бар-Хиллел И. Основания теории множеств: Пер. с англ.
Id: 5300
 
999 руб.

Основания теории множеств: Пер. с англ.

1966. 556 с. Твердый переплет Букинист. Состояние: 4+. .

 Аннотация

В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической теории множеств. Большое внимание уделено приложению идей и методов математической логики в различных направлениях исследований по основаниям математики (логицизм, интуиционизм, формализм).

Книга, снабженная обширным списком литературы, представляет ценность для математиков, занимающихся основаниями математики и связанными с ними вопросами математической логики, а также для философов и представителей других специальностей, имеющих отношение к методологическим проблемам математики.


 Оглавление

От редактора перевода

Предисловие

Глава I. Антиномии

§ 1. Историческое введение

§ 2. Логические антиномии

§ 3. Семантические антиномии

§ 4. Общие замечания

§ 5. Три кризиса

§ 6. Библиографические замечания

Глава II. Аксиоматические основания теории множеств. Аксиома выбора

§ 1. Введение

§ 2. Первоначальное отношение. Равенство и экстенсиональность

§ 3. «Конструктивные» аксиомы общей теории множеств

§ 4. Аксиома выбора

§ 5. Аксиомы бесконечности и ограничения

§ 6. Система аксиом фон Неймана. Теоретико-множественный релятивизм (парадокс Сколема)

§ 7. Системы аксиом Бернайса и Гёделя. Доказательства относительной непротиворечивости

§ 8. Вывод теории множеств из аксиом

Глава III. Теоретико-типовые подходы

§ 1. Идеальное исчисление

§ 2. Общая теория классов

§ 3. New Foundations Куайна

§ 4. Mathematical Logic Куайна

§ 5. Иерархия языков и разветвленное исчисление классов

§ 6. Система Сумма Хао Вана

§ 7. Оперативная система Лоренцена

§ 8. Логицистический тезис

§ 9. Типы, категории и сорта

§ 10. Непредпкативное образование понятий

§ 11. Теории множеств, основанные на нестандартных логиках

Глава IV. Интуиционистские концепции математики

§ 1. Историческое введение. Пропасть между дискретностью и непрерывностью

§ 2. Конструктивный характер математики. Математика и язык

§ 3. Принцип исключенного третьего

§ 4. Математика и логика. Логическое исчисление

§ 5. Изначальная интуиция целого числа. Свободно становящиеся последовательности и брауэровская концепция множества

§ 6. Математика, урезанная в соответствии с интуиционистской позицией

Глава V. Метаматематический и семантический подходы

§ 1. Гильбертовская программа

§ 2. Формальные системы, логистические системы и формализован ные теории

§ 3. Интерпретации и модели

§ 4. Непротиворечивость, полнота, категоричность и независимость

§ 5. Разрешимость и рекурсивность. Арифметизация синтаксиса

§ 6. Ограничительные теоремы Гёделя, Тарского, Чёрча и их обобщения

§ 7. Метаматематика и семантика теории множеств

§ 8. Философские замечания

Библиография

Библиография к Abstract Set Theory, цитируемая в настоящей книге

Библиография, добавленная при переводе

Именной указатель

Предметный указатель

Указатель символов

 
© URSS 2016.

Информация о Продавце