# .999 = 1?

**URL:** <https://boards.straightdope.com/t/999-1/27517>\
**Category:** Factual Questions\
**Created:** [July 31, 2000, 6:28am UTC](https://boards.straightdope.com/t/999-1/27517 "2000-07-31T06:28:03Z")\
**Posts on this page:** 20\
**Page:** 48

<div class="post-metadata">

**Author:** ![Baron\_Greenback](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/baron_greenback/32/48_2.png) [@Baron\_Greenback](https://boards.straightdope.com/u/Baron_Greenback)\
**Post date:** [October 1, 2012, 7:36pm UTC](https://boards.straightdope.com/t/999-1/27517/941 "2012-10-01T19:36:06Z")

</div>

> [@Valmont314](#):
>
> And please, no more logic, you yourself said that you wished that part of this discussion was over up above, do you really think you can distill your feelings down to logic? At least answer that question because that’s all I am discussing on this thread from here on out. (I will leave it up to the heavy hitters here to bark out the vectors). If you want to veer off into things like collective conscious, pattern recognition, synchronized associations we could do so but it would be off topic here.

I smoked quite a lot of dope when I was young too.

---

<div class="post-metadata">

**Author:** ![The\_Hamster\_King](https://avatars.discourse-cdn.com/v4/letter/t/8edcca/32.png) [@The\_Hamster\_King](https://boards.straightdope.com/u/The_Hamster_King)\
**Post date:** [October 1, 2012, 8:21pm UTC](https://boards.straightdope.com/t/999-1/27517/942 "2012-10-01T20:21:06Z")

</div>

> [@Valmont314](#):
>
> And please, no more logic, you yourself said that you wished that part of this discussion was over up above, do you really think you can distill your feelings down to logic? At least answer that question because that’s all I am discussing on this thread from here on out. (I will leave it up to the heavy hitters here to bark out the vectors). If you want to veer off into things like collective conscious, pattern recognition, synchronized associations we could do so but it would be off topic here.

I have no idea what point you’re trying to make here.

Look, it’s really simple. In the standard version of real numbers, 0.9… = 1.

You’re perfectly free to design a different system of numbers where 0.9… \<\> 1.

However, you might be surprised to discover that it behaves in strange ways that you didn’t anticipate.

For example, using standard real numbers:

10 \* 0.9… = 9.9…  
10 \* 0.9… - 0.9… = 9.9… - 0.9…  
(10-1) \* 0.9… = 9.9… - 0.9…  
(10-1) \* 0.9… = 9  
9 \* 0.9… = 9  
0.9… = 1

How would this derivation work out in the new number system you want to use?

Specifically, what is 10 \* 0.9… equal to in your number system?

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 10:22pm UTC](https://boards.straightdope.com/t/999-1/27517/943 "2012-10-01T22:22:20Z")

</div>

> [@The\_Hamster\_King](#):
>
> I have no idea what point you’re trying to make here.
> 
> Specifically, what is 10 \* 0.9… equal to in your number system?

Hello Hamster King from LA

Thank you for your interest in our product.

Please sign on the dotted line and agree to a warranty of 10 years.

OK, you have to go back and read through the thread but I will try to give you the condensed version.

There is no number .999… in the set we would be working with.  
Because by definition the set would only contain numbers whose decimal representation contains a finite number of digits. So for example, we could simply define that finite number to be something that would allow for a convenient way of expressing what is presently thought to be the smallest interval of space itself, the Planck Length.

> **[Planck units](https://en.wikipedia.org/wiki/Planck_length)**
>
> In particle physics and physical cosmology, Planck units are a system of units of measurement defined exclusively in terms of four universal physical constants: c, G, ħ, and kB (described further below). Expressing one of these physical constants in terms of Planck units yields a numerical value of 1. They are a system of natural units, defined using fundamental properties of nature (specifically, properties of free space) rather than properties of a chosen prototype object. Originally propose...

We could peg it at the Planck Length

> **[Quantum calculus](https://en.wikipedia.org/wiki/Quantum_calculus)**
>
> Quantum calculus, sometimes called calculus without limits, is equivalent to traditional infinitesimal calculus without the notion of limits. The two types of calculus in quantum calculus are q-calculus and h-calculus. The goal of both types is to find "analogs" of mathematical objects, where, after taking a certain limit, the original object is returned. In q-calculus, the limit as q tends to 1 is taken of the q-analog. Likewise, in h-calculus, the limit as h tends to 0 is taken of the h-analog....

or set it to a smaller interval if we like to extend the warranty on the system but either way the bottom line is that we have to make the decision that we believe that the real world is finite and that when we then go to make bridges and buildings using this system they aren’t going to collapse because the mapping of that which conceptual to reality is not sufficiently symmetric.

All of this has to do with the practical side of defining the needs of the set that is going to be used in applied math.

Needless to say the needs of Physicists are far different than the needs of pure mathematicians.

Calculus over the reals seems to work pretty damn well for Physicists so this entire discussion, to me, is less about the practical considerations than it is about the more profound aspects of the concepts of infinite precision, infinitesimal, and infinity. Just as we know that F=ma is an idealized approximation that works very well it seems that that might be the case for the Reals. Which makes them not so real and not so necessary in the realm of applied math.

I will let the pure and applied math folks here dissect and toss out the tonsils from the above if they so desire but that’s the way I see it.

Hope that clarifies my understanding of the practical side of this discussion.

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 10:38pm UTC](https://boards.straightdope.com/t/999-1/27517/944 "2012-10-01T22:38:53Z")

</div>

> [@Valmont314](#):
>
> Are you a crow or not?

> [@Baron\_Greenback](#):
>
> I smoked quite a lot of dope when I was young too.

Yeah I guess anybody who stumbled on this thread and the first thing they saw was that question would probably make that inference.

---

<div class="post-metadata">

**Author:** ![The\_Hamster\_King](https://avatars.discourse-cdn.com/v4/letter/t/8edcca/32.png) [@The\_Hamster\_King](https://boards.straightdope.com/u/The_Hamster_King)\
**Post date:** [October 1, 2012, 10:39pm UTC](https://boards.straightdope.com/t/999-1/27517/945 "2012-10-01T22:39:24Z")

</div>

> [@Valmont314](#):
>
> There is no number .999… in the set we would be working with. Because by definition the set would only contain numbers whose decimal representation contains a finite number of digits.

Hmmmm … so you’ve decided that you’re using a system of numbers where repeating decimals aren’t allowed.

So, that means that 1/3 is undefined? Like how 1/0 is currently undefined in normal math? That’s seems like an awkward property for system of numbers to have, but okay … .

But then 1/3 would be defined if you switch notation to ternary. 1/3 in ternary is 0.1. So now you’ve created a system of arithmetic that gives different answers depending on the base you use to perform calculations. Is that really what you were hoping to accomplish?

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 10:54pm UTC](https://boards.straightdope.com/t/999-1/27517/946 "2012-10-01T22:54:10Z")

</div>

> [@The\_Hamster\_King](#):
>
> Hmmmm … so you’ve decided that you’re using a system of numbers where repeating decimals aren’t allowed.
> 
> So, that means that 1/3 is undefined? Like how 1/0 is currently undefined in normal math? That’s seems like an awkward property for system of numbers to have, but okay … .

Absolutely not, 1/3 is very simply defined up to however many decimal places have been defined in the axioms of the set’s definition. So its there, but only up to so many decimal places. If we set the limit to ten. Then there are only ten ways we can write down 1/3 which are .3, .33, .333, up to .3333333333, that’s it. Think about it this way… you work at a job where all you do all day is measure parts in a factory, the factory only manufactures large parts say the size of tennis rackets. They only need the rackets to be measured down to the nearest millimeter. Somebody asks you to go out and buy rulers to measure them. The more precise the ruler, the more expensive. So you buy the least expensive ruler with the level of precision that meets the requirements. Which would be a ruler with a micrometer scale. The micrometer scale defines the limits of precision which are sufficient for your needs.

---

<div class="post-metadata">

**Author:** ![Derleth](https://avatars.discourse-cdn.com/v4/letter/d/b9e5f3/32.png) [@Derleth](https://boards.straightdope.com/u/Derleth)\
**Post date:** [October 1, 2012, 11:07pm UTC](https://boards.straightdope.com/t/999-1/27517/947 "2012-10-01T23:07:11Z")

</div>

> [@Valmont314](#):
>
> If we set the limit to ten. Then there are only ten ways we can write down 1/3 which are .3, .33, .333, up to .3333333333, that’s it.

In your system, what is 0.33 - 0.3? Is it 0 or 0.03?

> [@](#):
>
> The micrometer scale defines the limits of precision which are sufficient for your needs.

The numbers I like to use aren’t defined in terms of micrometers. They’re defined in terms of sets. How do you apply these precision rules to sets?

---

<div class="post-metadata">

**Author:** ![The\_Hamster\_King](https://avatars.discourse-cdn.com/v4/letter/t/8edcca/32.png) [@The\_Hamster\_King](https://boards.straightdope.com/u/The_Hamster_King)\
**Post date:** [October 1, 2012, 11:07pm UTC](https://boards.straightdope.com/t/999-1/27517/948 "2012-10-01T23:07:48Z")

</div>

> [@Valmont314](#):
>
> Absolutely not, 1/3 is very simply defined up to however many decimal places have been defined in the axioms of the set’s definition. So its there, but only up to so many decimal places. If we set the limit to ten. Then there are only ten ways we can write down 1/3 which are .3, .33, .333, up to .3333333333, that’s it.

Your number system is getting weirder and weirder.

What’s 0.3333333333 + (0.3333333333 / 10) equal to?

In normal math it’s 0.33333333333, but you’ve just said that repeating decimals can’t repeat more than 10 times in your system and the answer in normal math requires 11 3’s to represent.

As I said above, you can certainly create a system of math that has properties like this, but you start getting some really weird results.

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [October 1, 2012, 11:12pm UTC](https://boards.straightdope.com/t/999-1/27517/949 "2012-10-01T23:12:04Z")

</div>

**Valmont314** ’s definition of numbers also fails to obey the distributive property; he has defined numbers such that a\*(b+c) is not always equal to a_b + a_c.

Seems like an awful high price to pay just for a philosophical point.

---

<div class="post-metadata">

**Author:** ![Jragon](https://avatars.discourse-cdn.com/v4/letter/j/e19b73/32.png) [@Jragon](https://boards.straightdope.com/u/Jragon)\
**Post date:** [October 1, 2012, 11:12pm UTC](https://boards.straightdope.com/t/999-1/27517/950 "2012-10-01T23:12:36Z")

</div>

> [@The\_Hamster\_King](#):
>
> What’s 0.3333333333 + (0.3333333333 / 10) equal to?
> 
> In normal math it’s 0.33333333333

Er… what? Isn’t it 0.36666(etc) or am I misinterpreting the expression?

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 11:25pm UTC](https://boards.straightdope.com/t/999-1/27517/951 "2012-10-01T23:25:03Z")

</div>

> [@Derleth](#):
>
> In your system, what is 0.33 - 0.3? Is it 0 or 0.03?  
> The numbers I like to use aren’t defined in terms of micrometers. They’re defined in terms of sets. How do you apply these precision rules to sets?

1. .03, it is an axiom of the number system that the trailing zeros are there up to 10 digits as placeholders
2. The numbers you like to use are not relevant to applied mathematics and therefore are irrelevant when defining the set. As long as we set the minimum interval such that every known magnitude in applied math can be represented as a multiple of it that is all we care about.

Look guys, my post was not about defining a number system. That has not one iota anything to do with my interest in this topic but if you can simply explain how this leads to two members of the set having the same value (aside from the trivial case of .3 = .30 or whatever than please do so).

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 11:37pm UTC](https://boards.straightdope.com/t/999-1/27517/952 "2012-10-01T23:37:56Z")

</div>

> [@Trinopus](#):
>
> **Valmont314** ’s definition of numbers also fails to obey the distributive property; he has defined numbers such that a\*(b+c) is not always equal to a_b + a_c.
> 
> Seems like an awful high price to pay just for a philosophical point.

Does it not obey the distributive property if you set the limits of precision higher than what is needed in the real world and then simply discard those digits above and beyond what is defined as the limits of measurement in the number system?  
Much in the same way that one can simply choose to discard interpolated results when measuring with a ruler?

---

<div class="post-metadata">

**Author:** ![The\_Hamster\_King](https://avatars.discourse-cdn.com/v4/letter/t/8edcca/32.png) [@The\_Hamster\_King](https://boards.straightdope.com/u/The_Hamster_King)\
**Post date:** [October 1, 2012, 11:38pm UTC](https://boards.straightdope.com/t/999-1/27517/953 "2012-10-01T23:38:38Z")

</div>

> [@Jragon](#):
>
> Er… what? Isn’t it 0.36666(etc) or am I misinterpreting the expression?

Bleah … I had to run off to a meeting and I wasn’t paying attention to what I was typing. What I meant was:

What’s 0.3333333333 + ( 0.0000000003 / 10 ) equal to?

I was trying to create a situation where numbers with fewer than 10 repeating digits added up to a number with more than 10 repeating digits.

---

<div class="post-metadata">

**Author:** ![The\_Hamster\_King](https://avatars.discourse-cdn.com/v4/letter/t/8edcca/32.png) [@The\_Hamster\_King](https://boards.straightdope.com/u/The_Hamster_King)\
**Post date:** [October 1, 2012, 11:44pm UTC](https://boards.straightdope.com/t/999-1/27517/954 "2012-10-01T23:44:37Z")

</div>

> [@Valmont314](#):
>
> Look guys, my post was not about defining a number system.

Of course it is. You’re defining a number system that has the property that 1 \<\> 0.9… . We’re pointing out that you can’t do that easily or intuitively without creating a system riddled with odd inconsistencies.

Now you say you’re creating a number system that contains the number 0.9999999999 (10 nines) but not 0.99999999999 (11 nines). The problem with such as system is that it’s not closed with respect to standard arithmetic operations, i.e. I can easily construct expressions in that system that yield results that are not valid numbers.

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 11:46pm UTC](https://boards.straightdope.com/t/999-1/27517/955 "2012-10-01T23:46:39Z")

</div>

> [@The\_Hamster\_King](#):
>
> Of course it is. You’re defining a number system that has the property that 1 \<\> 0.9… . We’re pointing out that you can’t do that easily or intuitively without creating a system riddled with odd inconsistencies.
> 
> Now you say you’re creating a number system that contains the number 0.9999999999 (10 nines) but not 0.99999999999 (11 nines). The problem with such as system is that it’s not closed with respect to standard arithmetic operations, i.e. I can easily construct expressions in that system that yield results that are not valid numbers.

Scroll up and see what I said to Trinopus…I am really curious to see what he is going to cook up on this.

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 1, 2012, 11:50pm UTC](https://boards.straightdope.com/t/999-1/27517/956 "2012-10-01T23:50:44Z")

</div>

Yoohoo, Trinopus, come out come out wherever you arrrrrrre.

[![](https://img.youtube.com/vi/zGwDwx10wB4/hqdefault.jpg "I'm Afraid the deflector shield will be quite operational when your friends arrive") ](https://www.youtube.com/watch?v=zGwDwx10wB4)

---

<div class="post-metadata">

**Author:** ![The\_Hamster\_King](https://avatars.discourse-cdn.com/v4/letter/t/8edcca/32.png) [@The\_Hamster\_King](https://boards.straightdope.com/u/The_Hamster_King)\
**Post date:** [October 1, 2012, 11:59pm UTC](https://boards.straightdope.com/t/999-1/27517/957 "2012-10-01T23:59:42Z")

</div>

> [@Valmont314](#):
>
> Does it not obey the distributive property if you set the limits of precision higher than what is needed in the real world and then simply discard those digits above and beyond what is defined as the limits of measurement in the number system?

In general, no, even the real world doesn’t work like that.

You cannot assume that rounding errors in calculations will not propagate and grow. You can see this pretty easily by taking a limited-precision calculating device (like a pocket calculator) and repeatedly multiplying by a number, then repeatedly dividing by the same number.

For example 5 \* 123456789 \* 123456789 \* … \* 123456789 / 123456789 / 123456789 … / 123456789. With enough steps you’ll get back an answer that isn’t 5. However if you change the order of operations so each multiplication is immediately followed by a division, then you get the correct result.

It’s been fifteen years since I took my numerical methods class in grad school, so I’m a bit rusty, but there are a lot of tricks you need to do algorithmically if you’re going to get the correct result in a limited precision system. You cannot just blithely assume that distribution (or commutativity, or associativity) still holds.

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 2, 2012, 12:10am UTC](https://boards.straightdope.com/t/999-1/27517/958 "2012-10-02T00:10:52Z")

</div>

> [@The\_Hamster\_King](#):
>
> In general, no, even the real world doesn’t work like that.
> 
> You cannot assume that rounding errors in calculations will not propagate and grow. You can see this pretty easily by taking a limited-precision calculating device (like a pocket calculator) and repeatedly multiplying by a number, then repeatedly dividing by the same number.
> 
> For example 5 \* 123456789 \* 123456789 \* … \* 123456789 / 123456789 / 123456789 … / 123456789. With enough steps you’ll get back an answer that isn’t 5. However if you change the order of operations so each multiplication is immediately followed by a division, then you get the correct result.
> 
> It’s been fifteen years since I took my numerical methods class in grad school, so I’m a bit rusty, but there are a lot of tricks you need to do algorithmically if you’re going to get the correct result in a limited precision system. You cannot just blithely assume that distribution (or commutativity, or associativity) still holds.

Again, it may be more trouble than it is worth, but it might demand that there be a functional relationship between the limits of precision, the limits of measurement and the minimum interval size. Also, much in the same way certain calculations lend themselves to certain radix systems they might lend themselves better to systems defined with finite precision…which all again, has nothing to do with the purpose of my post…I was simply trying to point out why it is that the elements where colocated…not to embark on an effort to derive a new system.

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [October 2, 2012, 12:18am UTC](https://boards.straightdope.com/t/999-1/27517/959 "2012-10-02T00:18:19Z")

</div>

> [@Valmont314](#):
>
> Does it not obey the distributive property if you set the limits of precision higher than what is needed in the real world and then simply discard those digits above and beyond what is defined as the limits of measurement in the number system?  
> Much in the same way that one can simply choose to discard interpolated results when measuring with a ruler?

Nope; because of the way you cut off digits, it will make a difference when you multiply by some other number. If you cut off measurement at, say, ten decimal places, and then multiply the number by ten, you now have measurement that is effectively cut off at nine decimal places. This rounding error can cause the distributive property to fail.

We see this fairly often in opinion polls, where the numbers don’t add up to 100 because of rounding error.

---

<div class="post-metadata">

**Author:** ![Valmont314](https://avatars.discourse-cdn.com/v4/letter/v/3da27b/32.png) [@Valmont314](https://boards.straightdope.com/u/Valmont314)\
**Post date:** [October 2, 2012, 12:21am UTC](https://boards.straightdope.com/t/999-1/27517/960 "2012-10-02T00:21:46Z")

</div>

> [@Trinopus](#):
>
> Nope; because of the way you cut off digits, it will make a difference when you multiply by some other number. If you cut off measurement at, say, ten decimal places, and then multiply the number by ten, you now have measurement that is effectively cut off at nine decimal places. This rounding error can cause the distributive property to fail.
> 
> We see this fairly often in opinion polls, where the numbers don’t add up to 100 because of rounding error.

You do agree though that if I set the limits of precision to a Googleplex and  
take results out to 5 decimal places I am ok for 3 operations do you not?  
The system has to be tailored precisely and rigorously…if you would like to do that go for it.

[Previous page](https://boards.straightdope.com/t/999-1/27517.md?page=47)

[Next page](https://boards.straightdope.com/t/999-1/27517.md?page=49)
