Definition:Computable Real-Valued Function

Definition

Let $D \subseteq \R^n$ be a subset of real cartesian $n$-space.

Let $f : D \to \R$ be a real-valued function on $D$.

Suppose that $f$ is both sequentially computable and computably uniformly continuous.

Then, $f$ is computable.

Sources

• This article incorporates material from computable real function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.