Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Re: It is a very bad idea and nothing less than stupid to define 1/3
= 0.333...

Replies: 42   Last Post: Oct 9, 2017 11:53 AM

 Messages: [ Previous | Next ]
 Jim Burns Posts: 831 Registered: 9/26/15
Re: It is a very bad idea and nothing less than stupid to define 1/3
= 0.333...

Posted: Oct 5, 2017 11:59 AM

On 10/5/2017 10:00 AM, netzweltler wrote:
> Am Donnerstag, 5. Oktober 2017 15:22:35 UTC+2
> schrieb Jim Burns:

[...]
>> _We don't do what you're describing_
>
> Nevertheless,

"Nevertheless"?
Do you agree that what you're describing is not what we're doing?

> the process
> 0 |-> write 0.9
> 1 |-> append another 9 (to the 0.9 already written)
> 2 |-> append another 9 (to the 0.99 already written)
> ...
> results in 0.999...
>
> Whereas the process you specified earlier
> 0 |-> 0.9
> 1 |-> 0.99
> 2 |-> 0.999
>  ...
> is nothing else but an infinite list of terminating decimals.

Right. Nothing else but an infinite list of terminating decimals,
which presents no problem, right?

And we (meaning _we_ whether or not you include yourself)
assign the value of the least upper bound of that list
to the non-terminating decimal 0.999...

I'm guessing you don't have a problem with the LUB either,
_But this is what we do_

Date Subject Author
10/2/17 Guest
10/2/17 netzweltler
10/2/17 Jim Burns
10/3/17 netzweltler
10/3/17 FromTheRafters
10/3/17 Jim Burns
10/3/17 FromTheRafters
10/3/17 Jim Burns
10/3/17 FromTheRafters
10/3/17 netzweltler
10/3/17 bursejan@gmail.com
10/4/17 netzweltler
10/3/17 FromTheRafters
10/3/17 Jim Burns
10/3/17 FromTheRafters
10/3/17 netzweltler
10/3/17 Jim Burns
10/4/17 netzweltler
10/4/17 Jim Burns
10/4/17 netzweltler
10/5/17 Jim Burns
10/5/17 netzweltler
10/5/17 Jim Burns
10/5/17 netzweltler
10/5/17 Jim Burns
10/5/17 netzweltler
10/5/17 Jim Burns
10/5/17 FromTheRafters
10/6/17 netzweltler
10/6/17 Jim Burns
10/7/17 FromTheRafters
10/8/17 FromTheRafters
10/8/17 netzweltler
10/8/17 Jim Burns
10/8/17 netzweltler
10/8/17 Jim Burns
10/9/17 netzweltler
10/9/17 Jim Burns
10/9/17 netzweltler
10/9/17 Jim Burns
10/7/17 Jim Burns