The definition of this number is that the number of 0s after each 1 is given by the total previous number of 1s in the sequence. That's why it can't contain 2 despite being infinite and non-repeating.
That's a decimal approximation of Pi with an ellipsis at the end to indicate its an approximation, not a definition. The way the ellipsis is used above is different. It's being used to define a number via the decimal expansion by saying it's an infinite sum of negative powers of 10 defined by the pattern before the ellipsis.
Pi, however, is not defined this way. Pi can be defined as twice the solution of the integral from -1 to 1 of the square root of (1-x^2), a function defining a unit semi-circle.
Implicitly defining a number via it's decimal form typically relies on their being a pattern to follow after the ellipsis. You can define a different number with twos in it, but if you put an ellipsis at the end you're implying there's a different pattern to follow for the rest of the decimal expansion, hence your number is not the same number as the one without twos in it.
Right and the point of defining this number as a non-repeating infinite sequence of 0s and 1s is just to show that non-repetition of digits alone is not sufficient to say a number contains all finite sequences.
The conclusion does not follow from the premises, as evidenced by my counterexample. It could be the case that every finite string of digits appears in the decimal expansion of pi, but if that's the case, a proof would have to involve more properties than an infinite non-repeating decimal expansion. I would like to see your proof that every finite string of digits appears in the decimal expansion of pi.
Well that's just being pointlessly pedantic, obviously they fucking know that a repeating number of all zeros and ones doesn't have a two in it. This is pure reddit pedantry you're doing
It kind of does come across as pedantic -- the real question is just that "Does pi contain all sequences"
But because of the way that it is phrased, in mathematics you do a lot of problems/phrasing proofs where you would be expected to follow along exactly in this pedantic manner
Infinite and non-repeating are one thing, but the number you gave is not transcendental. Transcendentalism is the nature of pi that causes it to contain every sequence. Also, fun fact, there are more transcendental numbers than there are non-transcendental numbers, but pi is one of the few we know about because proving transcendentalism is hard.