Very neat demonstration!
I dispute that, although I guess the general brute-force solution is 'easy' given infinite time.
https://oeis.org/wiki/Disjunctive_numbers#Is_pi_a_disjunctiv...
> I dispute that, although I guess the general brute-force solution is 'easy' given infinite time.
Look at it this way -- if it were not true, then the digits of Pi would not be normally distributed (see https://en.wikipedia.org/wiki/Normal_number), and that would be a rather extraordinary mathematical finding.
If Pi's digits are normally distributed, then one can reliably predict the time required for finding any particular digit sequence using probability theory. And given the presumption of normalcy, that probability is the same for any digit sequence of a given length.
The probability for finding a given test digit sequence in the first 100 million digits of Pi is given here:
https://www.angio.net/pi/whynotpi.html
But it has to be emphasized that, given a finite test sequence and an infinite sequence of Pi's digits as a search space, the probability is 1.0.
YYYY-MM-DDTHH:MM:SS+<OFFSET>
in this format, Pi day is:
2017-03-14 (The rest of the complete format omitted since it is not strictly relevant)
Although admittedly I too find the US date system's wrong-endianness pretty annoying.
> jyssys3: The rest of the world celebrates it at 22/7.
I'd expect it's really 22.7., but this is more fun.