Re: Randomness

In article <1157249314.021597.74750@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> "Matt Zellman" <matt.zellman@xxxxxxxxx> writes:
....
I started with the first however many digits of pi (a number whose
digits are provably normal), and applied a series of tests to it:

Can you point me to a proof that pi is normal to base 10?
--
*** t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~***/
.