Hacker News new | ask | show | jobs
by wruza 3380 days ago
https://en.wikipedia.org/wiki/Normal_number

Pi is not proven to be normal, but is suspected.

1 comments

Note that normality of a number in a given base is a sufficient condition for existence of all finite sequences in its expansion in this base, but not necessary.

It might turn out that Pi is not normal say in base 2, but all possible finite sequences of 0s and 1s occur in it, just with some of them being slightly more frequent than others of the same length.

From that article, it seems that correct term is "disjunctive sequence".