```Date: Jan 29, 2013 4:11 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 203

On 29 Jan., 21:28, William Hughes <wpihug...@gmail.com> wrote:> > Here we have again the ambivalence required for set theory. No, your> > statement is incorrect if "infinite" is used in the sense of completed> > or actual,>> It is not.  No concept of "completed" is needed or used.You contradict Cantor.And you contradict the fact, that in incomplete sets we cannot knowthe quality of the complete set.But in the first place, look at the end of this posting.>> It does, however, imply that d in not one> of the lines of the list LFor that sake you must check all lines. Can you check what is notexisting?>> This is turn implies.>> There is no list of binary sequences, L, with> the property that give any binary sequence, s,> s is one of the lines of L.That is wrong in the list of all binary sequences that can be definedor identified.>> So we can divide collections into two groups.> Those, like the collection of all rational> numbers, that can be listed, and those> like the real number that cannot.Here you apply actual infinity. Every potentially infinite setconsists of countably many finite elements.Every potentially infinite decimal is a countable set of rationalapproximations only. In order to obtain the true decimal of anirrational number you will need a finite definition like"pi" (unfortunately there are only countably many finite definitionsavailable) or a sequence of digits that is longer than every finitesequence. But that means, the length of the sequence is actuallyinfinite.(Actually infinite is tantamount to more than every finite. Aleph islarger than every n.)So you accept actual infinity in decimals, but not in lists?Impossible. If the set of indexes is actually infinite in decimals,then it is actually infinite in line numbers of lists. Then we get C4is wrong.Regards, WMRegards, WM
```