# An infinite question: Why doesn't  .999~ = 1?

**URL:** <https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711>\
**Category:** Cecil's Columns/Staff Reports\
**Created:** [September 24, 2016, 7:29am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711 "2016-09-24T07:29:45Z")\
**Posts on this page:** 20\
**Page:** 19

<div class="post-metadata">

**Author:** ![watchwolf49](https://avatars.discourse-cdn.com/v4/letter/w/e9c0ed/32.png) [@watchwolf49](https://boards.straightdope.com/u/watchwolf49)\
**Post date:** [November 1, 2016, 6:25pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/361 "2016-11-01T18:25:51Z")

</div>

> [@septimus](#):
>
> Is this argument still going on? … [snip]

Perhaps **The Master** is bored and decided to throw this particular hornet’s nest into the fray for entertainment value.

---

<div class="post-metadata">

**Author:** ![Snarky\_Kong](https://avatars.discourse-cdn.com/v4/letter/s/a183cd/32.png) [@Snarky\_Kong](https://boards.straightdope.com/u/Snarky_Kong)\
**Post date:** [November 2, 2016, 1:33am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/362 "2016-11-02T01:33:51Z")

</div>

Has any person that wasn’t immediately convinced by the usual arguments been convinced eventually?

---

<div class="post-metadata">

**Author:** ![watchwolf49](https://avatars.discourse-cdn.com/v4/letter/w/e9c0ed/32.png) [@watchwolf49](https://boards.straightdope.com/u/watchwolf49)\
**Post date:** [November 2, 2016, 1:36am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/363 "2016-11-02T01:36:07Z")

</div>

> [@Snarky\_Kong](#):
>
> Has any person that wasn’t immediately convinced by the usual arguments been convinced eventually?

… the tortoise ?

---

<div class="post-metadata">

**Author:** ![Telemark](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/telemark/32/372_2.png) [@Telemark](https://boards.straightdope.com/u/Telemark)\
**Post date:** [November 2, 2016, 2:56am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/364 "2016-11-02T02:56:29Z")

</div>

> [@Snarky\_Kong](#):
>
> Has any person that wasn’t immediately convinced by the usual arguments been convinced eventually?

The first repetition of the solution convinces them .9 of the way. The next repetition gets them .99 of the way. If we keep this up long enough …

---

<div class="post-metadata">

**Author:** ![Riemann](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/riemann/32/3133_2.png) [@Riemann](https://boards.straightdope.com/u/Riemann)\
**Post date:** [November 2, 2016, 3:18am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/365 "2016-11-02T03:18:44Z")

</div>

> [@Telemark](#):
>
> The first repetition of the solution convinces them .9 of the way. The next repetition gets them .99 of the way. If we keep this up long enough …

But this will only be effective if each repetition of the argument takes half the time of the previous one.

---

<div class="post-metadata">

**Author:** ![watchwolf49](https://avatars.discourse-cdn.com/v4/letter/w/e9c0ed/32.png) [@watchwolf49](https://boards.straightdope.com/u/watchwolf49)\
**Post date:** [November 2, 2016, 3:33am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/366 "2016-11-02T03:33:05Z")

</div>

This is getting tensor and tensor …

---

<div class="post-metadata">

**Author:** ![naita](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/naita/32/5862_2.png) [@naita](https://boards.straightdope.com/u/naita)\
**Post date:** [November 2, 2016, 6:28am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/367 "2016-11-02T06:28:06Z")

</div>

> [@Snarky\_Kong](#):
>
> Has any person that wasn’t immediately convinced by the usual arguments been convinced eventually?

Not that I can recall. But I’ve seen bystanders come in from the sidelines and go “I really didn’t get it until I saw _that_ explanation.” Also it’s a fun exercise, at least for a teacher, to see if one can get at the root of miscomprehension.

---

<div class="post-metadata">

**Author:** ![netzweltler](https://avatars.discourse-cdn.com/v4/letter/n/a3d4f5/32.png) [@netzweltler](https://boards.straightdope.com/u/netzweltler)\
**Post date:** [November 2, 2016, 7:39am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/368 "2016-11-02T07:39:14Z")

</div>

> [@naita](#):
>
> So the constant speed process encompasses your step by step process.

Again: So what?

> [@naita](#):
>
> If you’d paid any intention you’d know that I already consider that point 1. But think about what you’re saying here. Moving from 0 to 1 at a constant speed we pass every possible point on the number line in the interval [0, 1] in time t=[0, 1], this includes 0.9, 0.99, 0.999 and so on. If it doesn’t include infinite 9’s, what’s the largest number of nines it includes?

In fact your constant speed process does have a last point 1. But we are dealing with a process of infinitely many steps when we are dealing with 0.999…, infinitely many digits, no last digit, no last step, no largest number of nines. Yes, there are infinitely many 9s (0.9, 0.99, 0.999, …) in [0, 1], that’s correct. What you don’t want to see is, that these infinitely many 9s (0.9, 0.99, 0.999, …) are in [0, 1) either. So, point 1 isn’t needed at all. Look up set theory.

> [@naita](#):
>
> 0.999… doesn’t have to be the result of **any** process, it’s a number in and of itself. And as I just described logic entails it occurs as a state in the constant speed process. Try to look outside the box you’ve got yourself stuck in here. Think about the process I just described. We’re moving from 0 to 1 on a number line over the span of 1 unit of time. At 0.9 we’re at 0.9, at 0.99 we’re at 0.99 and so on. Unless we can point to a maximum number of nines, during this movement there has to be a point we can describe by an infinite number of nines. Where is that point, and if you think it doesn’t exist, what is the largest number of nines describing a point we do pass by.

There is no largest number of nines. We are passing infinitely many digits without reaching a last point. There is no last step after an infinite number of steps!

---

<div class="post-metadata">

**Author:** ![netzweltler](https://avatars.discourse-cdn.com/v4/letter/n/a3d4f5/32.png) [@netzweltler](https://boards.straightdope.com/u/netzweltler)\
**Post date:** [November 2, 2016, 7:45am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/369 "2016-11-02T07:45:40Z")

</div>

> [@septimus](#):
>
> 😕_ **The two formulations seem extremely similar:** _
> 
> Achilles never reaches the tortoise because his residual distance (1/10, 1/100, 1/1000, …) remains positive after any finite number of steps.
> 
> Netzwelter never reaches 1/3 because his residual distance (0.333…, 0.0333, 0.00333…, 0.0003333 …) remains positive after any finite number of states.

The problem under discussion is NOT that we’ve got a residual distance after each finite number of steps.

t = 0: I move my pen from point 0 to point 0.9 of the number line  
t = 0.9: I move my pen from point 0.9 to point 0.99 of the number line  
t = 0.99: I move my pen from point 0.99 to point 0.999 of the number line  
…

Even at t = 1, which means after an infinite number of steps, we haven’t reached point 1. A residual distance is not defined.

---

<div class="post-metadata">

**Author:** ![Budget\_Player\_Cadet](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/budget_player_cadet/32/205_2.png) [@Budget\_Player\_Cadet](https://boards.straightdope.com/u/Budget_Player_Cadet)\
**Post date:** [November 2, 2016, 8:06am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/370 "2016-11-02T08:06:13Z")

</div>

> [@netzweltler](#):
>
> The problem under discussion is NOT that we’ve got a residual distance after each finite number of steps.
> 
> t = 0: I move my pen from point 0 to point 0.9 of the number line  
> t = 0.9: I move my pen from point 0.9 to point 0.99 of the number line  
> t = 0.99: I move my pen from point 0.99 to point 0.999 of the number line  
> …
> 
> Even at t = 1, which means after an infinite number of steps, we haven’t reached point 1. A residual distance is not defined.

Then what point have we reached?

It can’t be 0.999 because we reached that at t=0.99.  
It can’t be 0.9999 because we reached that at t=0.999.  
It can’t be 0.99999 because we reached that at t=0.9999.  
It can’t be 0.99999999999999999999999999999999 because we reached that at t=0.9999999999999999999999999999999.

I can keep adding 9s arbitrarily. It doesn’t matter how small the difference between 0.9999999999999999999999999999999999999 and 1 is, I can find the step where we went smaller. The only conclusion from this is that there _is_ no distance between 0.99… and 1. If the “residual distance” between 0.99… and 1 is “not defined”, how can you even say it exists in mathematics?

---

<div class="post-metadata">

**Author:** ![naita](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/naita/32/5862_2.png) [@naita](https://boards.straightdope.com/u/naita)\
**Post date:** [November 2, 2016, 8:24am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/371 "2016-11-02T08:24:58Z")

</div>

> [@netzweltler](#):
>
> In fact your constant speed process does have a last point 1. But we are dealing with a process of infinitely many steps when we are dealing with 0.999…, infinitely many digits, no last digit, no last step, no largest number of nines. Yes, there are infinitely many 9s (0.9, 0.99, 0.999, …) in [0, 1], that’s correct.

Good, there are infinitely many nines in [0, 1], we’re on the same page here.

> [@](#):
>
> What you don’t want to see is, that these infinitely many 9s (0.9, 0.99, 0.999, …) are in [0, 1) either. So, point 1 isn’t needed at all. Look up set theory.

What do you mean “either”, do you mean also? A number is in the interval if if it is less than 1 by some non-zero _ε_. What is the difference between 0.999… and 1? Actual mathematicians say that the difference is 0, and that 0.999… is 1. You need to either come up with a definition for what that difference is, or abandon your infatuation with 0.999… as a process as unmathematical.

If you insist on keeping 0.999… in [0, 1\> it will have the absurd distinction of being the only number in the interval that doesn’t have a definable difference from 1.

---

<div class="post-metadata">

**Author:** ![The\_Great\_Unwashed](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/the_great_unwashed/32/4791_2.png) [@The\_Great\_Unwashed](https://boards.straightdope.com/u/The_Great_Unwashed)\
**Post date:** [November 2, 2016, 8:38am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/372 "2016-11-02T08:38:51Z")

</div>

**netzweltler** seems to have latched onto the fact that there is no largest value in the open interval (0,1), which excludes 1 by defintion but includes every element of {0.9, 0.99, 0.999,… }.

---

<div class="post-metadata">

**Author:** ![naita](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/naita/32/5862_2.png) [@naita](https://boards.straightdope.com/u/naita)\
**Post date:** [November 2, 2016, 9:40am UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/373 "2016-11-02T09:40:14Z")

</div>

> [@The\_Great\_Unwashed](#):
>
> **netzweltler** seems to have latched onto the fact that there is no largest value in the open interval (0,1), which excludes 1 by defintion but includes every element of {0.9, 0.99, 0.999,… }.

Well if 0.999… = 1 it doesn’t include 0.999…

---

<div class="post-metadata">

**Author:** ![watchwolf49](https://avatars.discourse-cdn.com/v4/letter/w/e9c0ed/32.png) [@watchwolf49](https://boards.straightdope.com/u/watchwolf49)\
**Post date:** [November 2, 2016, 1:14pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/374 "2016-11-02T13:14:27Z")

</div>

> [@netzweltler](#):
>
> What you don’t want to see is, that these infinitely many 9s (0.9, 0.99, 0.999, …) are in [0, 1) either. So, point 1 isn’t needed at all. Look up set theory.

We have looked up set theory, and we find your conclusions wanting still … have you looked up limits yet?

> [@netzweltler](#):
>
> There is no largest number of nines. We are passing infinitely many digits without reaching a last point. There is no last step after an infinite number of steps!

I think we’re making progress here, now we need to clarify exactly what value this represents … Also, we need to find a value that exists between (0.999…) and 1, as to demonstrate that we’re complying with the law of math that says between any two real number there exists yet another real number …

=========

I’m going to go out on a limb here, so I’m not saying I’m right, but something to consider: I think we can agree with **netzweltler** that this particular proof of (0.999…) = 1 isn’t as robust as maybe it should be … the mistake is that **netzweltler** is then saying this then acts as a counter-proof, but fails to acknowledge that as counter-proof it suffers the same flaw, it’s not as robust as it should be.

There are other proofs that (0.999…) = 1 … some of which are quite rigid … your mission … **netzweltler** … if you choose to accept it … is to show that these other proofs also give you the same results.

---

<div class="post-metadata">

**Author:** ![The\_Great\_Unwashed](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/the_great_unwashed/32/4791_2.png) [@The\_Great\_Unwashed](https://boards.straightdope.com/u/The_Great_Unwashed)\
**Post date:** [November 2, 2016, 1:27pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/375 "2016-11-02T13:27:17Z")

</div>

Seems to me that the problem isn’t that  
1 is not an element of [0 , 1) (which is certainly true)  
but that  
0.999… is not an element of {0.9, 0.99, 0.999, … } (being greater that every single element in that set)

There’s nothing wrong with any of the formulations proposed by the pro side.

---

<div class="post-metadata">

**Author:** ![AHunter3](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ahunter3/32/368_2.png) [@AHunter3](https://boards.straightdope.com/u/AHunter3)\
**Post date:** [November 2, 2016, 2:52pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/376 "2016-11-02T14:52:28Z")

</div>

0.9999999~ doesn’t equal 1 for the same reason that 0.9999999~ doesn’t equal 0.999999~8

It’s not like time is elapsing as the additional digits get appended to the right, and hence that it is “getting closer to” 1 “as you go”. There is no “go”, and no “getting closer”. It is what it is.

---

<div class="post-metadata">

**Author:** ![The\_Great\_Unwashed](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/the_great_unwashed/32/4791_2.png) [@The\_Great\_Unwashed](https://boards.straightdope.com/u/The_Great_Unwashed)\
**Post date:** [November 2, 2016, 2:59pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/377 "2016-11-02T14:59:20Z")

</div>

> [@AHunter3](#):
>
> 0.9999999~ doesn’t equal 1 for the same reason that 0.9999999~ doesn’t equal 0.999999~8
> 
> It’s not like time is elapsing as the additional digits get appended to the right, and hence that it is “getting closer to” 1 “as you go”. There is no “go”, and no “getting closer”. It is what it is.

I couldn’t follow your “argument”, but given that 0.999… most definitely equals 1, there must be some error in it.

---

<div class="post-metadata">

**Author:** ![leahcim](https://avatars.discourse-cdn.com/v4/letter/l/b4bc9f/32.png) [@leahcim](https://boards.straightdope.com/u/leahcim)\
**Post date:** [November 2, 2016, 3:38pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/378 "2016-11-02T15:38:50Z")

</div>

> [@The\_Great\_Unwashed](#):
>
> I couldn’t follow your “argument”, but given that 0.999… most definitely equals 1, there must be some error in it.

Most notably that “0.999999~8” is not a thing.

---

<div class="post-metadata">

**Author:** ![The\_Great\_Unwashed](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/the_great_unwashed/32/4791_2.png) [@The\_Great\_Unwashed](https://boards.straightdope.com/u/The_Great_Unwashed)\
**Post date:** [November 2, 2016, 3:45pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/379 "2016-11-02T15:45:43Z")

</div>

> [@leahcim](#):
>
> Most notably that “0.999999~8” is not a thing.

I don’t want to run the risk of being accused of being unhelpful _again_, but I think we can define 0.999…8 in a coherent fashion (it’s the limit of the sequence 0.98, 0.998, 0.9998, …) – it is equal to 0.999… which in turn equals 1.

This last should give **AHunter3** some idea where they went wrong.

---

<div class="post-metadata">

**Author:** ![watchwolf49](https://avatars.discourse-cdn.com/v4/letter/w/e9c0ed/32.png) [@watchwolf49](https://boards.straightdope.com/u/watchwolf49)\
**Post date:** [November 2, 2016, 4:16pm UTC](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711/380 "2016-11-02T16:16:50Z")

</div>

> [@AHunter3](#):
>
> 0.9999999~ doesn’t equal 1 for the same reason that 0.9999999~ doesn’t equal 0.999999~8
> 
> It’s not like time is elapsing as the additional digits get appended to the right, and hence that it is “getting closer to” 1 “as you go”. There is no “go”, and no “getting closer”. It is what it is.

If you could please say what that reason is, if you don’t mind … are you saying that 16/32 doesn’t equal 1/2 for the same reasons that 7/16 doesn’t equal 8/16? … and you’re second paragraph is not fully complete … “getting closer to” 1 needs to be defined in relation to something else “getting closer to” something … “as you go” is too indistinct, as we go to the store, as we go to the moon, as we go where?

[Previous page](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711.md?page=18)

[Next page](https://boards.straightdope.com/t/an-infinite-question-why-doesnt-999-1/766711.md?page=20)
