```Date: Mar 9, 2013 11:57 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 9 Mrz., 16:00, William Hughes <wpihug...@gmail.com> wrote:> So this is WM's explanation.>> When he says>> No findable line of L is coFIS> with d>> and>> g is coFIS with d>> he is not using the same d.>> d like L_m is changable.>> So let us use (d) to indicate the function.> The function (d) is not changable, though> its value may be.What do you understand by the not changeable function (d)?================The function d is the set of all natural numbers n mapped on all FISsd_1, d_2, ..., d_n together with the prescription of how the mappinghas to be done?================That would be actual infinity again."The function (d)" is nothing but that what is written in lettersabove, included between ============= and ========== where possiblythe word "every" has to be inserted whereever the word "all" appears.Can you understand that? That is the description that is possible inactual infinity. By the way this is similar to the paths of the BinaryTree: Each finite paths can be denoted by strings like0.0001110010110. Each infinite path cannot be denoted other than by afinite description like "always turn left" or "0.110110110...">> Do you agree with the statement>> g is not coFIS with (d)(d) is *not* an actual infinite sequence like "0.110110110..." is notan actual infinite sequence but a word of 14 letters (that can beinterpreted as indicating an actual infinite string - if one believesin actual infinity). In potential infinity the function (d) always -during the lifetime of the universe - has a finite maximum, not alwaysthe same though. But there is always a last FIS. And this FIS is coFISwith this FIS. What could be simpler than to state that d, which isnothing but every FIS up to a maximum FIS d_1, ..., d_max is coFISwith this maximum FIS d_1, ..., d_max which is simultaneously the line1, 2, ..., max?Regards, WM
```