Date: Jan 30, 2013 12:06 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 203

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.

Regards, WM