Стилуэлл Дж.: Обратная математика. Доказательства, вывернутые наизнанку
Артикул: p6098974
Осталось 2 шт.
21 раз
купили
1879 p.
1336
p.-29%
Характеристики
- Издательство: ДМК Пресс
- Год издания:2021
- Жанр: Математические науки
- ISBN:978-5-9706-0888-3
- Формат: 160x220 мм
- Вес: 260 г
Описание
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.