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