On 2 Feb., 14:18, William Hughes <wpihug...@gmail.com> wrote: > On Feb 2, 10:45 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > On 1 Feb., 22:54, William Hughes <wpihug...@gmail.com> wrote: > > > > Previous was too complicated > > > Then I will skip it. > > > > Can a potentially infinite list > > > of potentially infinite 0/1 > > > sequences have the property that > > > > if s is a potentially infinite 0/1 > > > sequence, then s is a line of L > > > You have to distinguish between every and all > > I do not use either explicitly. (If you think > I do implicitly use every). > > Please answer the question-
I did. The shortest answer is:
For every n: There is always an s that is not in the first n lines of the list. For every s: There is alsways a list that contains the first n bits of s.