Обратная математика. Доказательства вывернутые наизнанку: Джон Стилуэлл
REVERSE MATHEMATICS. PROOFS FROM THE INSIDE OUT
0.5(1 оценка)0 рецензий
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы уз
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы уз
Полная аннотация
Автор
Издательство
Все характеристики
Аннотация
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Характеристики
ID товара
782933
ISBN
978-5-97060-888-3
Страниц
198 (Офсет)
Вес
280 г
Размеры
220x160x9 мм
Тип обложки
обл - мягкий переплет (крепление скрепкой или клеем)
Иллюстрации
Черно-белые
Все характеристики
Ожидается1 455
Рецензии на книгу
Читали книгу? Как она вам?
+50 ₽ за рецензию
Вы можете стать одним из первых, кто напишет рецензию на эту книгу, и получить бонус — до 50 рублей на баланс в Лабиринте!
Книги из жанра
9942 485 -60% Еще 2 дня
9002 251 -60% Еще 2 дня
352879 -60% Еще 2 дня
391978 -60% Еще 2 дня
356890 -60% Еще 2 дня
226564 -60% Еще 2 дня
6521 629 -60% Еще 2 дня
159397 -60% Еще 2 дня
1 8564 639 -60% Еще 2 дня
9712 428 -60% Еще 2 дня
2.5
7381 846 -60% Еще 2 дня
6421 606 -60% Еще 2 дня
1 3393 348 -60% Еще 2 дня
1 8084 519 -60% Еще 2 дня
2 3425 856 -60% Еще 2 дня
6721 681 -60% Еще 2 дня
320801 -60% Еще 2 дня
9342 334 -60% Еще 2 дня
1 0122 529 -60% Еще 2 дня
1 5083 769 -60% Еще 2 дня
9762 439 -60% Еще 2 дня
