Date: Jan 17, 2013 5:39 AM
Subject: Re: WMatheology § 191
On 17 Jan., 01:21, Virgil <vir...@ligriv.com> wrote:
> In article
> WM <mueck...@rz.fh-augsburg.de> wrote:
> > On 16 Jan., 20:16, Virgil <vir...@ligriv.com> wrote:
> > > > > > Your string can and will differ from the nth string. But there will
> > > > > > always an identical string be in the list
> > > > > Identical to what?
> > > > Identical to every initial segment of the anti-diagonal.
> > > If that alleged "identical string" were in some position n in the list
> > > then it will differ from any anti-diagonal at its own position n.
> > There are infinitely many positions following upon every n. So if your
> > assertion is true for every n, then there are infinitely many
> > remaining for which it is not true. This holds for every n.
> My "assertion" is that for each n in |N, the antidiagonal differs from
> string n in place n.
Yes, but obviously it is not for all entries of the list. Because
every possible finite string is already there. This shows that actual
infinity is self-contradictory