Обратная математика Доказательства вывернутые наизнанку ДМК Пресс 978 5 9706 0888 3

Цена: 1879 1336 руб.

Категория: Научно-популярная литература, Математические науки
Производитель: ДМК Пресс
Артикул: 978-5-9706-0888-3
Модель:

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

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

ISBN: 978-5-9706-0888-3
Объем: 198
Автор: Стилуэлл Дж.
Издательство: ДМК Пресс
Год: 2021
Код номенклатуры: ORS522026373839748
Электронная: Нет
noСкидка: no