"Sylvia Else" <sylvia@not.here.invalid> wrote ... > On 20/06/2010 6:10 AM, |-|ercules wrote: > >> If all digits of a single infinite expansion can be contained with >> increasing finite prefixes, >> and the computable set of reals has EVERY finite prefix, then all digits >> of EVERY infinite >> expansion are contained. > > It's far from clear what that actually means, but in any case you > certainly haven't proved it. > > Sylvia.
You agreed that all digits of PI (in order) are contained in this list, right?
3 31 314 ...
So you should get the first part,
>> If all digits of a single infinite expansion can be contained with >> increasing finite prefixes,
