Обратная математика. Доказательства, вывернутые наизнанку
Книга с полки
Описание
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки.ID Продукта
1690263
Автор
Издательство
Год
2020
ISBN
978-5-97060-888-3
Item code
10713014
Вес
0.26
Формат
70х90/16
Переплет
мягкий
Доступность
На складе
Размер посылки
XS
