Обратная математика
Издание: Черно-белое
Оригинальный правообладатель: Princeton University Press
Автор: Стилуэлл Д.
Дата выхода: ноябрь 2020 года
Формат: 160 * 230 мм
Бумага: офсетная
Обложка: Мягкая обложка
Объем, стр.: 198
ISBN: 978-5-97060-888-3
Вес: 400
pdf от издателя
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки.
Стоимость: будет скорректирована
dmkpress.com/catalog/nauchno-populyarnaya-seriya/978-5-97060-888-3/
Издание: Черно-белое
Оригинальный правообладатель: Princeton University Press
Автор: Стилуэлл Д.
Дата выхода: ноябрь 2020 года
Формат: 160 * 230 мм
Бумага: офсетная
Обложка: Мягкая обложка
Объем, стр.: 198
ISBN: 978-5-97060-888-3
Вес: 400
pdf от издателя
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки.
Стоимость: будет скорректирована
dmkpress.com/catalog/nauchno-populyarnaya-seriya/978-5-97060-888-3/
