Date: Mar 3, 2013 4:33 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots
In article

<06df2a18-7127-4b15-9c03-ab9f92aebf3a@ia3g2000vbb.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

> > > Question: Do you find your characterization of the situation in

> > > finished infinity not silly?

Nowhere nearly as silly as WM's characterizations which require for

every sequence a last but both concrete and evanescent member.

> > > Don't you see a mathematical

> > > contradiction of the sentence: There are all FIS of d in the list but

> > > not in one single line?

Only if there is a fixed last line rather than, as in real math, for

each line a successor, just as for each natural there is a successor.

> >

> > Not at all. Clearly

> > there are all FIS of d in one single line

> > iff there is a last line.

> > I do not consider the sentence

> > "There is no last line"

> > to be a contradiction.-

>

> But "there are all FIS" is not a contradiction

But "there are all FIS in one single line" IS a contradiction, when, as

here, for each line there is a successor line longer than the line

itself.

WM seems to want to live in a mathematical world where one can never

have a situation where the existence of each member of a set of objects

requires the existence of a successor object in the set distinct from

both the object itself and from all its predecessor objects in the set.

Since that sort of situation abounds in standard mathematics,

WM is out of it.

--