Nombre réel calculable

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant.

En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer tous les chiffres de son développement décimal. Cette notion est mise en place et développée par Turing.

On démontre que l'ensemble des réels calculables est un corps dénombrable contenant l'ensemble de tous les nombres algébriques. On démontre aussi que π est calculable.

Il existe des réels définis non calculables, un des plus célèbres étant la constante Oméga de Chaitin.

Par contre, tout nombre calculable est un nombre définissable.

[modifier] Construction de nombres calculables

Tout nombre réel est la limite d'une suite de nombres rationnels; ainsi s'il est possible d'expliciter un terme général pour une telle suite, le nombre qui en est la limite est calculable.

On sait par exemple que:

$\pi =4* \sum_{k = 0}^{\infty}\frac{(-1)^{k}}{2*k+1}$

Il est donc possible de déterminer des rationnels approchant π avec une précision arbitraire (la théorie sur les séries alternées permet même de savoir pour quel entier m il faut calculer $\pi =4* \sum_{k = 0}^{m}\frac{(-1)^{k}}{2*k+1}$ pour avoir un nombre donné de décimales exactes).

Mieux, tout nombre donné par une suite explicite à partir de nombres dont on a déjà montré qu'ils sont calculables l'est également. Par exemple non seulement $e$ est calculable car $e = \sum_{n = 0}^{+\infty} {1 \over n!}$ mais $e π$ l'est également car $e^\pi = \sum_{n = 0}^{+\infty} {\pi^n \over n!}$

Donc pour toute fonction calculable, l'image d'un nombre calculable est un nombre calculable. (par exemple le cosinus d'un rationnel donné est calculable).

Mais en revanche, si on sait que $e^\Omega = \sum_{n = 0}^{+\infty} {\Omega^n \over n!}$ , $e Ω$ n'en est pas calculable pour autant puisque Ω ne l'est pas (d'ailleurs $e Ω$ n'est pas calculable sinon $Ω = l o g (e Ω)$ le serait).

Comme les réels calculables forment un corps et qu'ils incluent les nombres rationnels et algébriques ainsi que π, $\mathbb Q(\pi)$ ou même $\mathbb A(\pi)$ sont des exemples de sous-corps du corps des nombres calculables (l'ensemble des valeurs prises par les fractions rationnelles à coefficients rationnels, respectivement algébriques, en π).