Нет отзывов
Купили 4 человека
Аннотация
| Издательство | |
|---|---|
| Переплет | Мягкий переплёт |
| Страниц | 198 |
| Год, тираж | 2020, 200 экз. |
Не в наличии
Отзывы
0Описание и характеристики
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
| Код | 2831655 |
|---|---|
| Издательство | |
| Переводчик | Слинкин А. |
| Переплет | Мягкий переплёт |
| Кол-во страниц | 198 |
| Год издания | 2020 |
| Тираж | 200 экз. |
| ISBN | 978-0-01-690263-5 |
| Раздел | Математика |
| Размеры | 0.8 см × 16 см × 22 см |
| Вес | 0.26 кг |