Definition:Normal Number/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Normal Number

In $1909$, Émile Borel demonstrated that almost all real numbers are normal.


Sources