Обратная математика / Стилуэлл Д.

Описание и характеристики Обратная математика / Стилуэлл Д.

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

Для приобретения Обратная математика / Стилуэлл Д. от «ДМК Пресс» арт. 4336842 выберите желаемое количество единиц и кликните на красную кнопку "Купить". Далее товар будет перемещён в корзину. После выбора всех выбранных позиций перейдите в корзину в правом верхнем углу страницы и завершите оформление заказа. При оформлении вам будет предложено выбрать способ доставки Обратная математика / Стилуэлл Д. в Москве и Московской области и оплаты из доступных вариантов.