computable real function
A function is effectively uniformly continuous if there exists a recursive function such that, if
A real function is computable if it is both sequentially computable and effectively uniformly continuous.
It is not hard to generalize these definitions to functions of more than one variable or functions only defined on a subset of . The generalizations of the latter two definitions are so obvious that they need not be restated. A suitable generalization of the first definition is:
Let be a subset of . A function is sequentially computable if, for every -tuplet of computable sequences of real numbers such that
the sequence is also computable.
|Title||computable real function|
|Date of creation||2013-03-22 14:39:23|
|Last modified on||2013-03-22 14:39:23|
|Last modified by||rspuzio (6075)|
|Defines||effectively uniformly continuous|
|Defines||effective uniform continuity|