vi21maobk9vp comments on Stupid Questions Open Thread Round 2 - Less Wrong

15 Post author: OpenThreadGuy 20 April 2012 07:38PM

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

Comments (208)

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

Comment author: vi21maobk9vp 21 April 2012 05:13:58AM 0 points [-]

Let's see. Assume measurability axiom - every subset of R has Lebesgue measure. As we can use the usual construction of unmeasurable set on L intersect R, our only escape option is that it has zero measure.

So if we assume measurability, L intersect R is a dense zero-measure subset, just like Q. These are the reals we can know individually, but not the reals-as-a-whole that we know...

Comment author: gjm 21 April 2012 09:01:47AM -1 points [-]

Seems reasonable to me.