Книга «Обратная математика. Доказательства, вывернутые наизнанку» Джона Стилуэлла

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

Автор: Джон Стилуэлл

Серия: Научно-популярная серия

Переплет: мягкий

Формат: 160х230 мм

Страниц: 198

Иллюстрации: черно-белые

Язык: русский

ISBN: 978-5-97060-888-3

Издатель: ДМК Пресс

Описание книги от издателя:

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

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

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

Пересылаем книгу Новой Почтой во все города Украины!