On 20/06/2010 3:48 PM, |-|ercules wrote: > "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, > > Herc
I've told you which step I have reservations about.
