Are some real numbers "uncomputable"?

Is there an algorithm to calculate any real number. I mean given $a \in \mathbb{R}$ is there an algorithm to calculate $a$ at any degree of accuracy ?

I read somewhere (I cannot find the paper) that the answer is no, because $\mathbb{R}$ is not a recursive set since it's not a countable set.

But I'm missing something... can someone explain me in detail why so ?

Moreover it means that there exist real number that are uncomputable, and that you cannot neither write down nor express... it's like they don't exist.


As you have observed yourself, $\mathbb{R}$, the set of real numbers, is uncountable, but every recursively enumerable set is necessarily countable. This immediately implies that there exist uncomputable real numbers. The same argument shows that there are (formally) indescribable real numbers. Indeed, almost all real numbers are indescribable, and a fortiori, uncomputable. There is nothing wrong about this, though it may be disturbing.

Do uncomputable/indescribable real numbers ‘exist’? Well, that's a philosophical question. A Platonist might say that they exist, even though we have no means of naming them specifically. A finitist might say they don't exist, precisely because we have no algorithm to compute or even recognise such a number.

Does this impact the way we do mathematics? Not really. So what if the vast majority of real numbers are uncomputable? By and large we deal with generic real numbers, not specific ones. For example, the fact that every non-zero real number $x$ has an inverse does not rely on the computability properties of $x$.


Most real numbers are not computable. Informally speaking, a real number is computable if there is a machine or algorithm that computes its decimal expansion, one digit at a time, that is, you can ask for the $n$-th digit. Once you formalize machines and algorithms, which are finite animals, you see that there are only a countable number of them and so there are only a countable number of computable real numbers. Since the real numbers are not countable, most real numbers are not computable.