Ниже по кнопкам можно купить бумажную книгу в интернет-магазинах по самым выгодным ценам с доставкой в Москве, Санкт-Петербурге и других городах России!
Купить книгу на сайте ЛабиринтаКупить в других магазинахБумажная книгаЖанр: Математические наукиПравообладатель и/или издательство: ДМК-ПрессДата публикации, год издания: 2020Дата добавления в каталог КнигаЛит: ISBN: 978-5-97060-888-3
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgC8Csm.
Описание книги
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
