Intereting Posts

Prove that if $AB$ is invertible then $B$ is invertible.
Measurable Cauchy Function is Continuous
Can the symmetric group $S_n$ be imbedded as a subgroup in $A_{n+1}$?
If a rational number has a finite decimal representation, then it has a finite representation in base $b$ for any $b>1?$
Cotangent summation (proof)
Intersection of kernels and linear dependence of functionals
How to count the elements of order 196 in a given abelian group
Correspondence between Ext group and extensions (from Weibel's book)
How many regions do $n$ lines divide the plane into?
Prove that $\frac{7}{12}<\ln 2<\frac{5}{6}$ using real analysis
If $|H|$ and $$ are relatively prime, then $H \leq K$
How to approach proving $f^{-1}(B\setminus C)=A\setminus f^{-1}(C)$?
Is $f(x,y) = f(\mathbf{x})$ abuse of notation?
Is there an intuitve motivation for the wedge product in differential geometry?
When does $(ab)^n = a^n b^n$ imply a group is abelian?

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 ?

- Shortest paths from $s$ by weight which contain even number of edges
- Calculate variance from a stream of sample values
- Numbering edges of a cube from 1 to 12 such that sum of edges on any face is equal
- How does Mathematica solve $f(x)\equiv 0\pmod p$?
- A multiplication algorithm found in a book by Paul Erdős: how does it work?
- Combining kindergardeners in 'fair' cookie-baking groups. Kirkman's schoolgirl problem extended version

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.

- Algorithm for creating binary rational numbers
- Is there an algorithm for writing an integer as a difference of squares?
- how can be prove that $\max(f(n),g(n)) = \Theta(f(n)+g(n))$
- Recurrence relation using substitution method
- Calculating Non-Integer Exponent
- Dominant term and Big Omega
- Solving inhomogenous ODE
- Does there exist a positive integer $n$ such that it will be twice of $n$ when its digits are reversed?
- How to solve the matrix minimization for BFGS update in Quasi-Newton optimization
- Traveling salesman problem: a worst case scenario

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.

I think you are talking of computable numbers. You can read more about it on Wikipedia. Unfortunately, what I know regarding this is only a very little subset of what Wikipedia has. A relatively famous example for a non-computable number is the Chaitin’s constant.

Yes, you may calculate $a$ up to an arbitrarily small error.

But if you want to find the exact description, you will be able to do this only for a countable set of numbers. For instance, every description of a number contains a finite set of words, and thus the set of all such descriptions is countable. Since the set of all real numbers is not countable, many real numbers cannot be described, we only know that they exist.

Precisely, a real number $x$ is computable if there is a total computable function $\varphi_{e}$ such that $|x-q_{\varphi_{e}(n)}|<2^{-n}$, where $\langle q_i \rangle_{i \in \omega}$ is an effective numbering of the rationals. So $\varphi_{e}$ picks out a computably-fast converging sequence of rationals whose limit is $x$. Note that one can then compute the decimal expansion of $x$ to any desired precision (and know when that precision has been reached).

Since each $\varphi_{e}$ corresponds to at most one computable real and there are only countably many such $\varphi_{e}$’s, there can be at most countably many computable reals. Of course, each rational is computable, so there are a countable infinity of computable reals.

Regarding your comment: “…it’s like they don’t exists”. Here you have to understand what it means for something to exist in mathematics or—even better—in first-order logic. The point is that once you know the set of computable numbers is countable, Cantor’s diagonal argument can be carried out in ZFC to show that there is no surjection from the computable numbers onto all the reals; i.e. noncomputable numbers must “exist”.

- Proving that every vector space has a norm.
- Solution af a system of 2 quadratic equations
- Independence of a random variable $X$ from itself
- How is this possible to convert a long string to a number with less characters?
- Number of possibilities for n persons at m tables with at least 5 persons per table
- “A Galois group is a fundamental group”?
- When do we have $Rad(I)=I$ for an ideal $I$ of a ring $R$?
- Distance between the product of marginal distributions and the joint distribution
- Permutation isomorphic subgroups of $S_n$ are conjugate
- finding the limit $\lim\limits_{x \to \infty }(\frac{1}{e}(1+\frac{1}{x})^x)^x$
- Sequence Limit: $\lim\limits_{n \rightarrow \infty}{n\,x^n}$
- What is the $m$th derivative of $\log\left(1+\sum\limits_{k=1}^N n_kx^k\right)$ at $x=0$?
- Is the differentiation operator an open mapping?
- Can a collection of points be recovered from its multiset of distances?
- Are there spaces “smaller” than $c_0$ whose dual is $\ell^1$?