The Champernowne constant C₁₀, whose decimal expansion 0.12345678910111213… is formed by concatenating the positive integers, provides a striking example of a transcendental real constant.

In his talk, he demonstrated how the Champernowne word encodes every finite sequence of decimal digits.