img Leseprobe Leseprobe

Обратная математика. Доказательства, вывернутые наизнанку

Дж. Стилуэлл

PDF
7,99
Amazon iTunes Thalia.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

ДМК Пресс img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Mathematik

Beschreibung

Эта книга — первое изложение обратной математики для аудитории, состоящей из математиков общего профиля. Обратная математика — новая дисциплина, которая «выворачивает наизнанку» традиционную математическую логику: ее цель — не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Придерживаясь исторического взгляда на обратную математику, он описывает два ставших возможными благодаря ей направления развития. Первое — проект арифметизации анализа, предпринятый в XIX веке с целью определить все понятия анализа в терминах натуральных чисел и их множеств. Второе — выполненная в XX веке арифметизация математической логики и понятия вычисления. Таким образом, арифметика в некотором смысле лежит в основе анализа, логики и вычислений. Обратная математика опирается на эту идею, рассматривая анализ как арифметику, дополненную аксиомами существования бесконечных множеств. Книга будет интересна как студентам старших курсов, так и специалистам, интересующимся основаниями математики.

Weitere Titel in dieser Kategorie
Cover Апология математики
Владимир Успенский
Cover Цифры не лгут
Вацлав Смил
Cover N N N        N
Владимир Булыгин

Kundenbewertungen

Schlagwörter

арифметика, обратная математика, русский, ДМК Пресс, Джон Стилуэлл