byrnema comments on Artificial Addition - Less Wrong

34 Post author: Eliezer_Yudkowsky 20 November 2007 07:58AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (117)

Sort By: Old

You are viewing a single comment's thread. Show more comments above.

Comment author: taryneast 30 December 2010 04:22:19PM *  2 points [-]

Ok. Interesting.

I can see and agree that 0.999... can in the limit equal two, whereas in any finite representation would still be less than 2.

I don't consider them to be "the same number" in that sense... even though they algebraically equate (once the limit is reached) in a theoretical framework that can encompass infinities.

ie, in maths, I'd equate them but in the "real world" - I'd treat them separately.

Edit: and reading further... it seems I'm wrong again. Of course, the whole point of putting "..." is to represent the fact that this is the limit of the decimal expansion of 0.999... to infinity.

therefore yep, 1.999... = 2

Where my understanding failed me is that 1.999... does not in fact represent the summation of the infinite set of 1 + 0.9 + 0.09 + ... which summation could, in fact, simply not be taken to its full limit. The representation "1.999..." can only represent either the set or the limit of the set, and mathematical convention has it as the latter, not the former.

Comment author: byrnema 30 December 2010 06:14:29PM *  2 points [-]

Another argument that may be more convincing on a gut level:

9x(1/9) is exactly equal to 1, correct?

Find the decimal representation of 1/9 using long division: 1/9=0.11111111... (note there is no different or superior way to represent this number as a decimal)

9x(1/9) = 9x(0.11111111...)=0.9999999... which we already agreed was exactly equal to 1.

Comment author: taryneast 30 December 2010 06:23:57PM 2 points [-]

Yes :)

See my previous (edited) comment above.

Comment author: byrnema 30 December 2010 07:22:49PM *  0 points [-]

Oh sorry, my bad. I should have read the thread. Or the link.

Comment author: taryneast 30 December 2010 10:14:59PM 2 points [-]

No problem. It is a great proof (there aren't many so simple and succinct). Just bad luck on timing ;)