Купили 21 человек
Аннотация
Издательство | |
---|---|
Страниц | 198 |
Год, тираж | 2021 |
Осталось мало
Описание и характеристики
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Код | 2831655 |
---|---|
Издательство | |
Автор |
|
Кол-во страниц | 198 |
Год издания | 2021 |
ISBN | 978-5-9706-0888-3 |
Раздел | Математические науки |
Размеры | 16 см × 22 см |
Вес | 0.26 кг |