On 1 Feb., 13:50, William Hughes <wpihug...@gmail.com> wrote: > Let a potentially infinite list, L, > of potentially infinite 0/1 sequences > have the property that every > (in the sense of "all from 1 to n") > potentially infinite 0/1 sequence > is a line of L
Here the "..." does not mean actual infinity but only for every nth figit there is a digit at position n+1. > > Let s be a potentially infinite > 0/1 sequence.
0.111... > > Does this imply that there is > a natural number m, such that s > is the mth line of L > > ?
In the case sketched above, every initial segment of 0.111... is in a line of the list. And in potential infinity there is not more than every initial segment. Nevertheless, we cannot fix a line number m where we could find it. An infinite list has no last line although it has no line number that is larger than every natural (and also no number of lines that is larger than every natural number).