
Название: Очерки по конструктивной математике
Автор: Мартин-Лёф П.
Издательство: М.: Мир
Год: 1975
Формат: PDF
Страниц: 137
Размер: 13.0 MB
Язык: Русский
Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа.