The basis of this book was a special course given by the author at the Mechanics-Mathematics Faculty of Moscow Universit
849 126 3MB
English, Russian Pages 346 [352] Year 1984
Table of contents :
Content: Normal algorithms and enumerable sets Constructive real numbers Constructive convergence. Effective uncountability of the constructive continuum The impossibility of certain algorithms connected with constructive real numbers Constructive functions Differentiation of constructive functions Riemann integration of constructive functions Singular coverings and some of their applications Constructive metric spaces.