Обратная математика. Доказательства, вывернутые наизнанку

Отложить Сравнить

Магазин: Буквоед

Артикул: 10713014

1 002,00 руб.

Купить с кэшбэком
до 4,50%

Купить с кэшбэком

Купить без кэшбэка

Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.

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

Для читателей, интересующихся основами математической науки.

Отправьте эту ссылку другу. Если друг совершит покупку этого товара – вы получите за него кэшбэк.

Для получения кэшбэк-ссылки вам нужно Войти или Зарегистрироваться.