Date: Dec 21, 2013 5:44 PM
Author: JT
Subject: Re: Matheology sqrt(-2): WM admits to unlistability of 0/1 sequences
Den lĂ¶rdagen den 21:e december 2013 kl. 23:35:43 UTC+1 skrev Virgil:

> In article <b518ea39-8daf-465a-b700-4e9b46b446cf@googlegroups.com>,

>

> jonas.thornvall@gmail.com wrote:

>

>

>

> > > According to mainstream math 0.999... is to be equal to 1, although i just

>

> > > proved it never will.

>

> >

>

> > You can not claim that a list generating nonzero terms to be equal to zero.

>

> > Thus the subtraction will never yield zero not ever after infinitly many

>

> > subtraction, whatever that is supposed to be in your fairynumber world.

>

>

>

> In mathematics, 0.999... represents either an infinite sequence of

>

> values or the limit value of such a sequence.

>

>

>

> In that latter case, the value is 1.

>

> So when speaking of "the value of 0.999...", one should be able to

>

> deduce that that limit value is what is meant.

>

>

>

> WM is apparently not able to deduce that.

>

> --

I do not see how he could the calculation you stipulate to become zero after infinitly many iterations. Will still yield infinitly many preceding zeros +1.