They also say “and reinterpret in base 10”. I.e. interpret the base 2 number as a base 10 number (which could theoretically contain 2,3,4,etc). So 10 in that number represents decimal 10 and not binary 10
I don’t think the example given above is an apples-to-apples comparison though. This new example of “an infinite non-repeating string” is actually “an infinite non-repeating string of only 0s and 1s”. Of course it’s not going to contain a “2”, just like pi doesn’t contain a “Y”. Wouldn’t a more appropriate reframing of the original question to go with this new example be “would any finite string consisting of only 0s and 1s be present in it?”
They just proved that “X is irrational and non-repeating digits -> can find any sequence in X”, as the original question implied, is false. Maybe pi does in fact contain any sequence, but that wouldn’t be because of its irrationality or the fact that it’s non-repeating, it would be some other property
It does contain a 2 though? Binary ‘10’ is 2, which this sequence contains?
They also say “and reinterpret in base 10”. I.e. interpret the base 2 number as a base 10 number (which could theoretically contain 2,3,4,etc). So 10 in that number represents decimal 10 and not binary 10
I don’t think the example given above is an apples-to-apples comparison though. This new example of “an infinite non-repeating string” is actually “an infinite non-repeating string of only 0s and 1s”. Of course it’s not going to contain a “2”, just like pi doesn’t contain a “Y”. Wouldn’t a more appropriate reframing of the original question to go with this new example be “would any finite string consisting of only 0s and 1s be present in it?”
Then put 23456789 at the start. Doesn’t contain 22 then but all digits in base 10.
They just proved that “X is irrational and non-repeating digits -> can find any sequence in X”, as the original question implied, is false. Maybe pi does in fact contain any sequence, but that wouldn’t be because of its irrationality or the fact that it’s non-repeating, it would be some other property
Like the other commenter said its meant to be interpreted in base10.
You could also just take 0.01001100011100001111… as an example