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

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