Очерки по конструктивной математике
П. Мартин-Лёф
Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктиви- зации математического анализа. Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.
Catégories:
Année:
1975
Editeur::
Мир
Langue:
russian
Pages:
137
Fichier:
PDF, 8.04 MB
IPFS:
,
russian, 1975