16.64 USD
Наличие на складе:
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.09.2024; планируемая отправка: 07.09.2024
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.09.2024; планируемая отправка: 10.09.2024
Издательство: | ДМК Пресс |
Дата выхода: | декабрь 2020 |
ISBN: | 978-5-97060-888-3 |
Объём: | 198 страниц |
Размеры(В x Ш x Т), см: | 23 x 16 |
Обложка: | мягкая |
Бумага: | офсетная |
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Перевод А. А. Слинкина.