How can we show that the function $n \mapsto e_n$, where $e_n$ is the $n$-th digit in the decimal expansion of $e$, is computable?
I have some idea in terms of Cantor's diag. argument, but I need to think along the lines of writing a series expansion, and Church's thesis.
Can someone produce the series as discussed below? thanks