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