Computable real function: Difference between revisions

Revision as of 16:00, 13 November 2009

Revision as of 07:27, 10 May 2010

Line 1:

In [[mathematical logic]], specifically [[recursion theory|computability theory]], a [[range|function]] <math>f \colon \mathbb{R} \to \mathbb{R}</math> is ''sequentially computable'' if, for every [[computable sequence]] <math>\{x_i\}_{i=1}^\infty</math> of [[realrational number]]s, the [[sequence]] <math>\{f(x_i) \}_{i=1}^\infty</math> is also [[computable real number|computable]].

A function <math>f \colon \mathbb{R} \to \mathbb{R}</math> is ''effectively uniformly continuous'' if there exists a [[primitive recursive function|recursive function]] <math>d \colon \mathbb{N} \to \mathbb{N}</math> such that, if