Definition:Champernowne Constant/Historical Note

Historical Note on Champernowne Constant
The Champernowne constant was invented by as an example of a real number which can be demonstrated to be normal with respect to base $10$.

He achieved this in $1933$ while still an undergraduate.