Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки
Ваш отзыв о Обратная математика. Доказательства, вывернутые наизнанку будет первым. Не всегда достаточно просто прочитать отзывы, иногда мы также хотим поделиться своим мнением о товаре. Наше мнение может быть важным для других потенциальных покупателей, а также для самого продавца. Поэтому, после приобретения Обратная математика. Доказательства, вывернутые наизнанку, мы рекомендуем написать информативный комментарий, чтобы помочь другим людям сделать правильный выбор.
Когда мы делаем покупки в интернете, одной из важнейших составляющих процесса является доставка. Правильно указанный адрес доставки - это залог того, что Обратная математика. Доказательства, вывернутые наизнанку окажется в ваших руках точно вовремя. Важно указать полный и точный адрес доставки для транспортной компаниии и курьеру.
