Google 
Аннотация: Обратная математика. Доказательства вывернутые наизнанку
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель - не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
| Автор/составитель | Стилуэлл Джон |
| Год выпуска | 2021 |
| ISBN | 978-5-97060-888-3 |
| Производитель | ДМК-Пресс |
| Издательство | ДМК-Пресс |
| Количество томов | 1 |
| Количество страниц | 198 |
| Переплет | Мягкая обложка |
| Размеры | 220x160x9 мм |
| Цвет | Белый |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 70x100/16 (170x240 мм) |
| Стандарт | 20 |
| Вес | 280 |
| Язык | русский |
