Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
| ISBN | 978-5-97060-888-3 |
| Автор | Стилуэлл Джон |
| Год | 2021 |
| Переплет | обл |
| Издательство | ДМК-Пресс |
| Формат | 70х90/16 |
| Стр. | 198 |
| ID | 04Л1-25 |
| ID2 | 782933 |
У этого товара нет ни одного отзыва. Вы можете стать первым.

