г. Москва, пр. Андропова, д. 38
0
Моя корзина
0 руб

Обратная математика

Артикул:
К-44647
Автор:
Стилуэлл Д.
Формат книги:
70х90 1/16
Количество страниц:
198
ISBN:
978-5-97060-888-3
Оглавление:
В наличии
832 руб
В корзине 0 шт. +1 шт
Способы оплаты:
Описание Отзывы
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.