Date: Jan 30, 2013 12:06 PM
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.