```Date: Mar 23, 2013 6:23 PM
Author: fom
Subject: Re: Matheology § 224

On 3/23/2013 4:56 PM, WM wrote:> On 23 Mrz., 21:54, William Hughes <wpihug...@gmail.com> wrote:>> On Mar 23, 4:15 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>>>>>>>>>>>>> On 23 Mrz., 15:01, William Hughes <wpihug...@gmail.com> wrote:>>>>>> On Mar 23, 2:43 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>>>>>>> On 23 Mrz., 10:31, William Hughes <wpihug...@gmail.com> wrote:>>>>>> We both agree that you have not shown that we can>>>>>> do something which leaves no lines and does not>>>>>> change the union.>>>>>>> No, of course we do not.>>>>>> WH: this does not mean that one can do something>>>> WH: that does not leave any of the lines of K>>>> WH: and does not change the union of all lines.>>>>>> WM: That is clear>>>>> Please complete this sentence: "That is clear because my proof rests>>> upon the premise that actual infinity is a meaningful notion.">>>>> If actual infinity was existing as a meaningful notion, then we could>>> remove all finite lines without changin the union in any way.>>>> nope>> actual infinity  existing as a meaningful notion, does not mean>> we could remove all finite lines without changing the union>> in any way.>> Do you think it is not a contradiction, to have the statements:> 1) 0.111... has more 1's than any finite sequence of 1's.> 2) But if we remove all finite sequences of 1's, then nothing remains.Given your track record, one must askhow you define0.111...as an abbreviation.For example, if it is the limitof partial sums,x_n = Sum(1 to n)(1/10^n)lim(n=>oo) x_n = 0.111...which, without the 'oo' isfor each epsilon>0 there existsan integer k>0 such that if n>=kthen |x_n - 0.111...|<epsilonThen, it is clear that 0.111...has nothing to do with the finitesequences you wish to "remove".On the other hand, what is implicitin this approach to what Cantorreferred to as "potential infinity"is the arbitrariness of choice fromsome domain.You deceive people when they naturallyassume your use of mathematical jargonimplies a mathematical literacy.Crayon marks are not definitions.
```