# computable sequence

A sequence $\{r_{i}\}_{i=0}^{\infty}$ of rational numbers is called computable if there exist recursive functions $F\colon\mathbb{N}\to\mathbb{Z}$ and $G\colon\mathbb{N}\to\mathbb{N}\setminus\{0\}$ such that

 $\quad r_{i}={F(i)\over G(i)}.$

A sequence $\{r_{i}\}_{i=0}^{\infty}$ of real numbers is called computable if there exists a recursive functions $F\colon\mathbb{N}^{2}\to\mathbb{Z}$ such that

 $(\forall m>0)(\forall n)\qquad{F(m,n)-1\over n}

Note that, although every computable sequence of real numbers is a sequence of computable real numbers, not every sequence of computable real numbers is a computable sequence of real numbers. Formally, this is the case because the set of computable sequences of real numbers is countable (its cardinality cannot be greater than that of the set of recursive functions) whilst the set of sequences of computable real numbers is uncountable (by Cantor’s diagonal argument).

An explanation of this fact which, if somewhat less rigorous, is more satisfying to the intuition is the following: Imagine a sequence of computable real numbers such that the shortest FORTRAN program which could calculate the first number to arbitrarily specified precision is at least 1 kilobyte long, the shortest FORTRAN program which which could calculate the second number to arbitrarily specified precision is at least 2 kilobytes long, the shortest FORTRAN program which could calculate the third number to arbitrarily specified precision is at least 3 kilobytes long, and so on. If this sequence were computable, there would exist a finite FORTRAN program that would compute the recursive function $F$ that appears in the definition of computable sequence. By adding a few more lines of to such a program, one would have a program that could compute any element of the sequence to arbitrary precision. However, no such program could possibly exist because of the way that the sequence was defined, and hence this sequence is not a computable sequence even though each of its elements is a computable real number.

Title computable sequence ComputableSequence 2013-03-22 14:39:20 2013-03-22 14:39:20 rspuzio (6075) rspuzio (6075) 13 rspuzio (6075) Definition msc 03F60