You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Oscar_Cunningham comments on Open Thread, September 30 - October 6, 2013 - Less Wrong Discussion

4 Post author: Coscott 30 September 2013 05:18AM

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

Comments (295)

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

Comment author: Oscar_Cunningham 30 September 2013 01:12:23PM *  2 points [-]

I should have been more accurate and said "If the random number that you'll eventually get does in fact lie in the set, then you'll find out about this fact after a finite number of rolls."

This really does define open sets, since for any point in an open set there's an open ball of radius epsilon about it which is in the set, and then the interval [x, x+1/10^n] has to be in that ball once 1/10^n < epsilon/2.

EDIT: (and the converse also holds, I think, but it requires some painfully careful thinking because of the non-uniqueness of decimal expansions)

I think a more exact representation of what Coscott actually said is the following property: "We almost always only have to roll the die finitely many times to determine whether the point is in or out."

This still doesn't specify measurable sets (because of the counterexample given by the rationals). I think the type of set that this defines is "Sets with boundary of measure zero" where the boundary is the closure minus the interior. Note that the rationals in [0,1) have boundary everywhere (i.e. boundary of measure 1).

Comment author: arundelo 30 September 2013 01:50:57PM 0 points [-]

Ah, so if my target set is (0, pi-3) and the demon feeds me the digits of pi-3, I will be rolling forever, but if the demon feeds me the digits of pi-3-epsilon (or any other number in (0, pi-3)) I will be able to stop after a finite amount of rolls.

I think the type of set that this defines is "Sets with boundary of measure zero" where the boundary is the closure minus the interior.

That sounds right to me, although I don't understand measure very well. I was informally thinking of this property as "continuousness".