Лекции по конструктивному математическому анализу

За последние годы получила заметное развитие идея построения математического анализа на базе современной теории алгорифмов. Такое построение, отличаясь от традиционного простотой и интуитивной убедительностью исходных концепций, вместе с тем значительно лучше учитывает реальные вычислительные возможности. В предлагаемой монографии в рамках конструктивного направления последовательно излагается система вычислимого анализа, развитая в СССР за последние 20 лет. Книга дает отчетливое представление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т.д. Большой интерес представляют также точные постановки и доказательства неразрешимости ряда алгорифмических проблем анализа. Значительная часть материала освещается в мировой монографической литературе впервые. Книга может быть рекомендована как специалистам в области математической логики и оснований математики, так и более широкому кругу читателей, работающих в области вычислительной математики и приложений теории алгорифмов.