-
×
Кто как разговаривает | Who Speaks How
1 × $13.99
Subtotal: $13.99
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Читать далее
| Артикул | 4336842 |
|---|---|
| Издательство | ДМК Пресс |
| Тип обложки | мягкая обложка |
| Автор | Стилуэлл Д. |
| Штрих код | 9785970608883 |
| Год | 2020 |
| Страниц | 198 |
| Язык | Русский |
| Вес | 210 гр. |
| Изготовитель | ООО "Издательство ДМК Пресс". 105094, РФ, г. Москва, Семеновская наб., д. 3/1-4-113 |
Related products
