In mathematical logic, specifically computability theory, a function
A function
then
A real function is computable if it is both sequentially computable and effectively uniformly continuous,
These definitions can be generalized to functions of more than one variable or functions only defined on a subset of
Let
the sequence
This article incorporates material from Computable real function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.