Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

/prog/rammer here, need urgent help

Name: Anonymous 2009-01-20 17:24

hello /sci/, long time no see
There is currently a troll on /prog/, and would greatly appreciate your help.

Basically, the troll is trying to prove that 0.999~ =/= 1
Here are some of his arguments
http://stormtower.invisionplus.net/?mforum=stormtower&showtopic=97

I'm wondering if the maths genius' on this board can rip him apart? Thank you

Name: Anonymous 2009-01-24 16:10

lol dongs

Name: Krieger 2009-01-24 19:59

I can't believe anyone who has taken a math class higher than basic algebra still believe 0.999.... is not equal to 1. There are numerous proofs that they are equal. I'll give you a few basic ones to start.

1. Between any two non-equal numbers in the set of rationals, there lies an infinite quantity of numbers. What number lies between 1 and 0.999....?

2. Take 1 - 0.999..... and you'll get that it equals 0.000.....1, which exactly equals 0. So the difference between 1 and 0.999... is exactly equal to 0.

3. 1/3 = 0.333....
   multiply both sides by three and you get
   3/3 = 0.999....
   1 = 0.999....

The whole thing seems obvious, even using 8th-grade level proofs....

Name: Krieger 2009-01-24 20:01

>>42
K, switching between different windows and got my topics mixed up....meant to post in a different forum.

Name: Anonymous 2009-01-24 20:12

>>40
there is an answer to that....

1 - 1 = 0

Name: Anonymous 2009-01-25 19:16

>>42

The only proof that is correct is the 1st one.

All use assumptions, but only the first one is an assumption that's basically definition (Depending on your definition).


2. Would require some sort of limit statement and use the fact that the reals are complete.

3. Requires you to justify algebraically manipulating infinite decimal expansions.

Whereas 1 merely relies on the completeness of the reals, which, as well as an ordering, defines them, so that's pretty much fine.


tl;dr? 1 is best, 2 is next, 3 is shit. State your assumptions before proofs.

Name: Anonymous 2009-01-25 20:15

>>42
>>46
#1 isn't even a "proof", it's a question.  The proof would be to show that the answer to the question is "none".

#2 is ignorant bullshit.

#3 assumes that termwise multiplication of an infinite series by a constant is valid (which is true of course, but not justified or even mentioned).

There are a crapload of proofs given at http://en.wikipedia.org/wiki/.999#Proofs, one or two of which might even be valid.

Name: Anonymous 2009-01-26 10:11

>>47

Don't know why you've quoted me in on that one, I agree his proofs are terrible, I'm trying to educate him about the ideas behind the proofs.

Name: Anonymous 2009-01-26 21:45

As a sidelong and unassociated reply to the posts above, attacking and debating the utility of the most abstruse mathematics, without taking any any personal umbrage, and only as it is my pleasure...

Multivariable calculus put men on the moon, compact disc technology was only feasible with complex analysis, and number theory informed RSA encryption, which still plays a role today. 

The point: contrary to mathematician G.H. Hardy's noble conceit that pure mathematics exists in a kind of "safe" vacuum, and cannot be applied for any special good or harm (The Bomb, and chemical weapons, derived via physics and chemistry, are the obvious Objects here), the historical trend is that even the most obscure mathematical truths will eventually be applied.

Math is the most useful of all, even if you haven't yet built up the hundred years of military industrial capital.

Name: Anonymous 2009-01-26 23:12

Without computer losers, I would have to leave my apartment to find porn.  Therefore programmers > mathematicians.

/thread

Name: Anonymous 2009-01-26 23:48

>>51
"/thread" indeed

Name: Krieger 2009-01-27 1:00

How's this:

0.999.... = (0.9 * 10^0) + (0.9* 10^-1) + (0.9 * 10^-2) + .....

Infinite geometric series, etc.

0.999.... = 0.9 / (1 - 10^-1)
0.999.... = 0.9 / 0.9
0.999.... = 1

I'm sure I'm missing a few rules/theorems/etc....or all of them. Just tell me if I'm right here.

Name: Anonymous 2009-01-27 1:17

>>53
Yep, that's the basic idea.

Name: mo‮8pE! to‬pui‮ !1uHaijp7IU!n9e4aOufPFUPnvI 2009-01-27 1:42

♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣
    ♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣
    ♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣

Please go to http://tinyurl.com/azrde6 and click “Save page.”

♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣
   ♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣
    ♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣♦♥♠♣

Name: Anonymous 2009-01-27 15:31

/prog/ needs no help in this matter. OP is part of the unwanted people from /pr/ or /b/ who obviously have too hard of a time to ignore troll posts.

Name: Anonymous 2009-01-28 13:36

>>57
1/3 = .3333...
3(1/3) = 3(.3333...) = .9999...
3(1/3) = 3/3 = 1
.9999... = 1

Name: Krieger 2009-01-28 22:18

>>59
I'm now thoroughly convinced you are or are in league with the troll this thread was started to stop.

/ignore

Name: Anonymous 2009-01-29 8:37

>>60
He's got a point that it basically assumes the result to prove it.

Name: Anonymous 2009-01-29 12:42

I don't know why I keep seeing the 1/3=.3333... proof, it assumes something that the opposing side believes to be false.

My own take on the topic is that the value of .9999... is something infinitely close to the number 1. The only thing that can be infinitely close to 1 is 1 itself. Thus, .9999... is just another way of saying 1.

Sage because I know nothing about math, and am just passing by.

Name: Anonymous 2009-01-29 13:42

>>62
Your statement "I know nothing about math" is true. So why would you bother commenting.


The way we define decimal expansions ensure that 0.99... = 1, it's not even a matter of proof it's pretty much a matter of definition.

Name: Anonymous 2009-01-29 22:25

>>62
Can't we just hope the other side dies out in a few years?

Name: Anonymous 2009-01-30 0:06

>>64
I don't really think that's possible though. :/

It's like the gays.  Obviously gays aren't having children, so they can't pass the gay gene on, but somehow there are still gays around.  So even though all the gays that were around in, say, the 30's have died out by now, there are still gays around.

It's the same with programmers.  They don't reproduce, but somehow they're still around.

Name: Anonymous 2009-01-30 0:59

Just as a little aside, for those who are interested, the troll from the OP is no other than FrozenVoid, who I believe /sci/ should know quite well.
http://dis.4chan.org/read/sci/1172747610
So technically, this troll is /sci/'s responsibility. You made him, you clean him up /sci/

Name: Anonymous 2009-01-30 1:11

>>67
Hmmm, so the troll started here, but moved on to more fertile trolling grounds, namely /prog/.

Interesting.

Name: Anonymous 2009-01-30 2:16

>>40
If that was so 1-0.999...=undetermined, but its obviously equals 0

Name: Anonymous 2009-01-30 3:31

>>69
Infinity minus infinity is an indeterminate form. There is no answer to that.

Name: Krieger 2009-01-30 16:18

I'm going to give you several proofs here, and hold on a second, I want you to try something new. Instead of questioning the formality of the proof, explain why you believe it's incorrect.

1.
x = 0.999...
10x = 9.999...
10x-x = 9.999...-0.999...
9x = 9
x = 1
1 = 0.999...

2.
0.999... = (0.9 * 10^0) + (0.9 * 10^-1) + (0.9 * 10^-2)...
= 0.9 / (1 - 0.1)
= 0.9 / 0.9
0.999... = 1

3.
I wouldn't call this a proof, but I'd like you a non-believer to answer this question:
What number lies between 0.999.... and 1?
Seeing as you believe they are distinct, you should be able to answer this fairly simply.

Name: Anonymous 2009-01-30 20:14

1. You haven't properly defined what the symbol 0.99... means, and thus cannot assume that algebraic manipulations (such as addition, multiplication) can be applied to it in any meaningful way.

2. You've defined it as a limit, that's at least a start, however you've applied a theorem on finite geometric series, as a limiting case, to this series.
This works, but you haven't proved that it does, so this one isn't a proof either.

3. As I said last time, this is the closest to a proof.
All that's lacking is you need to state what you're saying in a better way.
The real numbers are a hausdorff space, so given any two distinct points there are two disjoint open sets containing them. However for any open set containing 0.9999... it must have 0.9999.. + e for some e>0, but 0.9999...+ e > 1 for any e >0. Therefore you can't find two such sets, therefore 0.999.... and 1 aren't distinct points.

Name: Krieger 2009-01-31 2:26

>>72
1.
I'm not sure what exactly you're saying here. By 0.999... I mean zero point nine repeating, 0.(9), etc. I'm not sure how else to define it.

2.
If I'm not mistaken, the sum of an infinite geometric series is:
(first term) / [1 - (common ratio)], which is the formula I've used. So I'm not sure what you mean by,"applied a theorem on finite geometric series."

>>73
I'm not sure how this is relevant to anything...

Name: Anonymous 2009-01-31 9:42

>>74

1. Well you have to define somehow, otherwise it's just a symbol, it has to have some sort of mathematical interpretation.
Generally you define an infinite decimal expansion 0.a_0a_1a_2..... to equal the limit of the infinite sum a_i*10^-i.

It's a pretty easy job to show this converges for all value of a_i. during this you'll prove a proof of the form of 2. ie that all numbers which have an infinite string of 9's in their decimal expansion have two equivalent decimal expansions.

The reason your proof of 2 doesn't work is because you're applied a result that is derived to work on finite series, and taken a limiting case.

For example apply your formula to the series 1 + 2 + 4 + 8....
you get the answer -1, nonsense (in a sense anyway). You have to prove that it still holds for any common ratio < 1.

Now once you've prove all this you can start proving that addition and multiplication work for decimal expansions in the way you imagine (ie. that the new series you get still converges and converges to the value you want) and is well defined (ie, if you have A=A', B=B' for equivalent decimal expansions then c*A = c*A' and A+B = A'+B')

Then you can apply your second proof.

tl;dr? Maths is harder then you think.

Name: Anonymous 2009-01-31 9:55

Maybe your third proof attempt can be turned into a proof.

Informal proof sketch/idea for #3.

1. Fact: a real number is uniquely described by a finite sequence of digits, followed by a decimal separator, followed by an infinite sequence of digits
2. Fact: The amount of real numbers is uncountably infinite.
3. We can define the successor function s : R -> R for real numbers as follows: Let "x.y" be a representation of a real number, where x is a finite sequence of digits, and y is an infinite sequence of digits. Then s(x.y) = x'.y', and x'.y' are obtained by incrementing the last digit of y.
(It should be provable that from this definition, for all reals x.y, x.y <= s(x.y); and also any real is s(s(s(...(0.0...)))...), i.e., some above-infinite amount of applications of the successor function)
2. If 0.999... != 1, then by (2) there should be an uncountably infinite amount of numbers between 0.999 and 1.
3. But s(0.999...) = 1.
4. (2) and (3) form a contradiction. Hence 0.999... must be 1.

Something like that :D

Name: Anonymous 2009-01-31 14:53

>>76
>Maths is harder than you think.

RAAAAAAAAAAAAGGGGGGGEEEEEEEEEEEEEEEEEE!!

IT'S 'MATH' YOU FUCKGIN PIECE OF LIME3Y8H3UOBREIWSDJKZXY.74R589234UWNEFKSDVLJXCZHYTGOISZ8GUFXIOLJ

Name: Anonymous 2009-01-31 14:58

>77

>y is an infinite sequence of digits
>the last digit of y

¬_¬

Name: Anonymous 2009-01-31 15:59

>>79
¬_¬

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List