> That means the digits in its decimal expansion (to pick a base) are not known to be normally distributed. You mean uniformly distributed. Being a normal numb

> That means the digits in its decimal expansion (to pick a base) are not known to be normally distributed. You mean uniformly distributed. Being a normal number states more than that: any finite sequence of digits are uniformly distributed. While you are right that Pi isn't proven to be normal, constructing a normal number isn't exactly hard. I think the following number is proven to be normal (binary representation, I added spaces for clarity): 0.0 1 00 01 10 11 001 010 011 100 101 110 111 ... It's clear to see that this number contains all possible finite binary sequences.