(029)696-52-88 
(033)
bestbooksby@gmail.com ПРИЕМ ЗАКАЗОВ ПО ИНТЕРНЕТУ - КРУГЛОСУТОЧНО.
В случае отсутствия книги на сайте возможен заказ по телефону с 10:00 до 18:00 Пн-Пт.
ЗАКАЗЫ ПРИНИМАЮТСЯ НА 31.01.2025 г.
НАЛИЧИЕ КНИГ УТОЧНЯЙТЕ ПО ТЕЛЕФОНУ (В РАБОЧЕЕ ВРЕМЯ) ИЛИ ПО ЭЛЕКТРОННОЙ ПОЧТЕ
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
У этого товара нет ни одного отзыва. Вы можете стать первым.