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

Обратная математика Доказательства вывернутые наизнанку
ДМК Пресс
sku: 2831655
973.00 руб.
Shipping from: Russia
   Description
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки.
   Technical Details
age: 12
author: Джон Стилуэлл
binding: Мягкая глянцевая
ISBN: 978-5-9706-0888-3
page_extent: 198
Type: book
Weight: 0.460
year: 2021
   Price history chart & currency exchange rate

Customers also viewed