Definition:Champernowne Constant/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Champernowne Constant

The Champernowne constant was invented by David Gawen Champernowne 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.


Sources