```Date: Jan 30, 2013 4:14 PM
Author: William Hughes
Subject: Re: Matheology § 203

On Jan 30, 6:06 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> On 30 Jan., 12:32, William Hughes <wpihug...@gmail.com> wrote:>> > On Jan 30, 12:21 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>> > > On 30 Jan., 12:02, William Hughes <wpihug...@gmail.com> wrote:>> > > > Summary.  We have agreed that>> > > > For a potentially infinite list L, the> > > > antidiagonal of L is not a line of L.>> > Do you agree with the statement>> > For a potentially infinite list, L,> > of potentially infinite 0/1 sequences> > the antidiagonal of L is not a line> > of L>> Yes, of course. We have a collection of which we can keep a general> overview. And in finite sets (potential infinity is nothing but finity> without an upper threshold) "for every" means the same as "for all".> There is no place to hide.>So now we haveFor a potentially infinite list, L,of potentially infinite 0/1 sequencesthe antidiagonal of L is not a lineof LCan a potentially infinite list, L,of potentially infinite 0/1 sequenceshave the property that everypotentially infinite 0/1 sequenceis a line of L?
```