Can any Real number be typed in a computer? Suppose that we have a computer program, my question is whether a human can type in any real number - say in $[0,10]$ - that she would like to type in a finite amount of time? Suppose that the program allows typing in any basic expressions like sum, multiplication, square-root, limits etc. 

in a more formal way:
Choose one real number $x\in [0,10]$, is it possible to express $x$ in a way that a computer can understand*? 

*can understand = if $y$ is another such number, computer can tell whether $x&gt;y, y&gt;x$ or $x=y$.

EDIT: For example, square-root 2 can be typed as $\sqrt{2}$ and that is okay. As asked in comments, computer does not have an infinite memory, What is imporant is that the program can distinguish any two numbers that are typed in. For example, even though it is not possible to represent $\sqrt{2}$ in a computer, it can understand that $\sqrt{3}$ is bigger than $\sqrt{2}$.
When you have finite or countable many symbols:

No, when you only allow symbols from a finite (or countable) set of possible symbols like $\lim$, $\sqrt{}$, digits and so on, the set of all possible terms (with finte length) someone can type is countable. But there are uncountable many reals in $[0,10]$. Thus there are reals which are "untypable"...

This is related to definable numbers: There are only countable many expressions to define a number in first order logic but there are uncountable many reals -> There are undefinable numbers. See also the answers and comments to the question Is there an example for an undefinable number? for examples of undefinable/uncomputable numbers. 

When you have uncountable many symbols:

Then you can assign to each real number a different symbol which stands for it (like the symbol "$\pi$" stands for the number $\pi$) and voila: Every real can be typed by using its symbol ;-)

(Let's assume that the continuum hypothesis is true as a axiom for this answer: There is no uncountable set with cardinality less then the cardinality of $\mathbb R$)

Update: There are computable numbers $x$ for which you cannot decide whether $x=0$ or $x &gt; 0$. To cite a comment of Robert Israel to this answer:


  Consider a predicate $S(n)$ that can be computed for each natural number $n$. Define $x=\sum_{n=1}^\infty 2^{−n}d(n)$, where $d(n)=1$ if $S(n)$ is true and 0 otherwise. Since each $S(n)$ can be computed, $x$ is computable in the sense that arbitrarily good rational approximations of $x$ can be computed. Now it might be that all $S(n)$ happen to be false, but there is no proof (in your favourite consistent formal system) of this fact. Then it is impossible to decide (in that system) whether $x=0$ [or $x &gt; 0$].
Any real number $\xi$ you, or a more experienced mathematician, can think of can be defined and described in terms of text and universally accepted formulas, whence: be expressed in TeX-code on less than two ASCI-pages or so. Any computer will accept this as input. Such an input determines $\xi$ as an element of ${\mathbb R}$ once and for all, in other words: to  any desired number of decimal places. Of course it may be the case that your pocket calculator will not be sufficient to compute these digits one after the other.