Обратная математика
Бумажное издание
Оригинальное название: Оригинальный правообладатель: Оригинальный правообладатель: Princeton University Press
Автор: Стилуэлл Д.
Дата выхода: ноябрь 2020 года
Объем, стр: 198
ISBN: 978-5-97060-888-3
Формат: 160 * 230 мм
Бумага: офсетная
Обложка: Мягкая обложка
Вес, г: 400
Электронное издание
Оригинальное название: Оригинальный правообладатель: Оригинальный правообладатель: Princeton University Press
Автор: Стилуэлл Д.
Дата выхода: ноябрь 2020 года
Объем, стр: 198
ISBN: 978-5-97060-888-3
- Самовывоз м. Коломенская - завтра - Бесплатно
 - Доставка почтой по РФ - 7-28 дней - от 300 р.
Доставка почтой за пределы РФ - 14-28 дней - от 1400 р. - Курьером по Москве - в течение 7 дней - 300 р.
 
Аннотация
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.



