URSS.ru Магазин научной книги
Обложка Манин Ю.И. Доказуемое и недоказуемое Обложка Манин Ю.И. Доказуемое и недоказуемое
Id: 246589
Предварительный заказ!  2699 р.

Доказуемое и недоказуемое

1979. 168 с. Букинист. Состояние: 4+.
  • Мягкая обложка

Аннотация

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


Оглавление
top

Предисловие

Глава I. Введение в формальные языки

1. Общие сведения

2. Языки первого порядка

3. Начальная школа перевода

Глава II. Истинность и выводимость

1. Лемма об однозначном чтении

2. Интерпретация; истинность; выразимость

3. Синтаксические свойства истинности

4. Выводимость

5. Тавтологии и булевы алгебры

6. Теорема Геделя о полноте

7. Счетные модели и парадокс Сколема

8. Расширения языка

9. Невыразимость истинности: язык SELF

10. Язык арифметики Шмульяна

11. Невыразимость истинности: теорема Тарского

12. Квантовая логика

Глава III. Проблема континуума и форсинг

1. Задача; результат; идеи

2. Язык вещественного анализа

3. Невыводимость континуум-гипотезы в L2Real

4. Универсум над булевой алгеброй

5. Аксиома объемности ««истинна»

6. Аксиомы пары, суммы, степени и регулярности «истинны»

7. Аксиомы бесконечности, подстановки и выбора «истинны»

8. Гипотеза континуума «ложна» для подходящих В 

9. Какова мощность континуума?

Заключение. О смысле математического текста Список литературы

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

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