Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

byrnema comments on Artificial Addition - Less Wrong

36 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: 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 ;)