Constructive functions of a real variable
From Encyclopedia of Mathematics
constructive functions
A concept in the theory of functions of one or several variables, used in constructive mathematics. It was introduced by A.A. Markov and can be treated as a special case of the concept of an algorithmic operator in a constructive metric space. See also Constructive analysis; Constructive metric space.
How to Cite This Entry:
Constructive functions of a real variable. B.A. Kushner (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Constructive_functions_of_a_real_variable&oldid=18459
Constructive functions of a real variable. B.A. Kushner (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Constructive_functions_of_a_real_variable&oldid=18459
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098