Основы конструктивного математического анализа

Описание

Конструктивный математический анализ --- теория, развиваемая в рамках конструктивного направления, основанного А.А.Марковым в середине XX века, --- представляет интерес как с философской точки зрения (реализация методологических установок марковского конструктивизма), так и в качестве теории алгоритмической вычислимости объектов математического анализа, занимающей место между чистыми теоремами существования из традиционного (классического) математического анализа и теорией численных методов.В книге изложены методологические основы конструктивной математики и представлены в подробном изложении или в обзорах почти все существенные результаты, полученные к настоящему времени в конструктивном анализе школы А.А.Маркова.Для чтения книги достаточно знаний начальных разделов математического анализа и функционального анализа.Книга рассчитана на широкий круг математиков; она может оказаться полезной тем, кто хотел бы пополнить свои знания основ традиционного математического анализа знакомством с проблемами вычислимости в математическом анализе, и может представлять интерес для работающих в области теории численных методов.