Champernowne Constant is Normal/Historical Note

Historical Note on Champernowne Constant is Normal
The Champernowne constant was constructed by as an example of a real number which was demonstrably normal.

He did this in the paper of, 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 normal only with respect to base $10$.

Research is ongoing.