Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».Для читателей, интересующихся основами математической науки.
Обратная математика
ПрочиеОбратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».Для читателей, интересующихся основами математической науки.
$0.00
Нет в наличии
Вес | 11 унция |
---|---|
Габариты | 8.5 × 5.7 × 1.0 дюйм |
Формат | 70×90/16 |
Издательство | |
Переплет | Мягкий переплет |
Автор | |
Стандарт | 20 |
Год выпуска | |
Количество страниц | 198 |
SKU | 782933 |
Формат, мм | 170×215 |