"Sylvia Else" <email@example.com> 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.
Hypothesis: an real number contains a finite sequence that is not computable.
Therefore: all digits of every infinite expansion are contained in the list of computable digit sequences.