Обратная математика Доказательства вывернутые наизнанку ДМК Пресс 978 5 97060 888 3

Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для...

Магазин: books.ru

ISBN: 978-5-97060-888-3
Объем: 198
Автор: Джон Стилуэлл
Формат: мягкая обложка
Издательство: ДМК Пресс
Год: 2020
Электронная: Нет