Definition:Computable Real Function
Jump to navigation
Jump to search
Definition
Let $f : \R \to \R$ be a real function.
Suppose that $f$ is both sequentially computable and computably uniformly continuous.
Then $f$ is a computable real function.
Sources
- 1957: A. Grzegorczyk: On the definitions of computable real continuous functions (Fund. Math. Vol. 44, no. 1: pp. 61 – 71)
- This article incorporates material from computable real function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.