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.