At 09:39 AM 1/5/96 +1100, you wrote:

...

The decimal representation of any irrational number (e.g. pi, e) contains the decimal representation of every natural number somewhere. (Proof by diagonalization.)

What you say here isn't quite true.

Right. But BTW, isn't it interesting, that news item from a few weeks ago, on an algorithm for determining individual bits in Pi, regardless of whether you've calculated all the previous ones. Only problem is, it only works in hexadecimal (and, obviously, binary, etc, not decimal.