Is Pi normal?
An article by Stan Wagon about the idea of normality, first introduced by E. Borel in 1909, is an attempt to formalize the notion of a real number being random.

No queries for pi314.at/math/normal.html