Обратная математика : доказательства, вывернутые наизнанку
В этой книге Джон Стилуэлл рассказывает о том, как найти "правильные" аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической "глубины".
Полная информация о книге
- Вид товара:Книги
- Рубрика:Математика
- Целевое назначение:Учебники и учеб. пособ.д/ высшей школы(ВУЗы)
- ISBN:978-5-97060-888-3
- Серия:Несерийное издание
- Издательство: ДМК ПРЕСС
- Год издания:2021
- Количество страниц:198
- Тираж:200
- Формат:70х90/16
- УДК:517.9
- Штрихкод:9785970608883
- Доп. сведения:пер. с англ. А. А. Слинкина
- Переплет:обл.
- Сведения об ответственности:Джон Стилуэлл
- Вес, г.:230
- Код товара:6213218
Описание товара
В этой книге Джон Стилуэлл рассказывает о том, как найти "правильные" аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической "глубины".
