Champernowne Constant is Normal/Historical Note
Jump to navigation
Jump to search
Historical Note on Champernowne Constant is Normal
The Champernowne constant was constructed by David Gawen Champernowne as an example of a real number which was demonstrably normal.
He did this in the paper of 1933: The Construction of Decimals Normal in the Scale of Ten (J. London Math. Soc. Vol. 8: pp. 254 – 260), while still an undergraduate.
There is confusion in the literature as to whether he proved that the Champernowne constant is in fact absolutely normal.
It would be apparent from the title of the above paper that he did in fact prove is normal only with respect to base $10$.
Research is ongoing.