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


 
Вернуться в: Каталог  
Обложка Манин Ю.И. Доказуемое и недоказуемое
Id: 17567
 
699 руб.

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

1979. 168 с. Мягкая обложка. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

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

Книга предназначена для молодых ученых.


 Оглавление

Предисловие

Глава 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. Какова мощность континуума?

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

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

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

 
© URSS 2016.

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