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
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