Обратная математика. Доказательства, вывернутые наизнанку
Обратная математика. Доказательства, вывернутые наизнанку
Купили 4 человека
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».Для читателей, интересующихся основами математической науки.
- Переплёт Мягкий
- Кол-во стр. 198
- Вес 259 г
- Год издания 2020
Отзывы
Описание и характеристики
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
- Переплёт Мягкий
- Кол-во стр. 198
- Вес 259 г
- Год издания 2020
- Издательство
- Переводчик Слинкин А.
- Размер 0.8x16x22
- ID товара 2831655
- ISBN 978-0-01-690263-5, 978-5-9706-0888-3, 978-5-97060-888-3