книги Наука, техника, медицина Естественные науки Точные науки Математика Популярная и занимательная математика

Обратная математика. Доказательства, вывернутые наизнанку

Код 5219654

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 13.05.2024; планируемая отправка: 14.05.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 16.05.2024; планируемая отправка: 17.05.2024

Аннотация к книге "Обратная математика. Доказательства, вывернутые наизнанку"

Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.

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

Для читателей, интересующихся основами математической науки.

Перевод А. А. Слинкина. 

Оставить комментарий

Оцените книгу:

Издательство: ДМК Пресс
Дата выхода: декабрь 2020
ISBN: 978-5-97060-888-3
Объём: 198 страниц
Размеры(высота, ширина), см: 23 x 16
Обложка: мягкая
Бумага: офсетная

Вместе с этой книгой покупают