Both actually! See section 6 in Making Ado Without Expectations—unmeasurable sets are one kind of expectation gap (6.2.1) and ‘single-hit’ infinities are another (6.1.2)
When would you need to deal with unmeasurable sets in practice? They can’t be constructed explicitly, i.e. with just ZF without the axiom of choice, at least for the Lebesgue measure on the real numbers (and I assume this extends to Rn, but I don’t know about infinite-dimensional spaces). I don’t think they’re a problem.
You’re correct, in practice you wouldn’t—that’s the ‘instrumentalist’ point made in the latter half of the post
Current theme: default
Less Wrong (text)
Less Wrong (link)
Arrow keys: Next/previous image
Escape or click: Hide zoomed image
Space bar: Reset image size & position
Scroll to zoom in/out
(When zoomed in, drag to pan; double-click to close)
Keys shown in yellow (e.g., ]) are accesskeys, and require a browser-specific modifier key (or keys).
]
Keys shown in grey (e.g., ?) do not require any modifier keys.
?
Esc
h
f
a
m
v
c
r
q
t
u
o
,
.
/
s
n
e
;
Enter
[
\
k
i
l
=
-
0
′
1
2
3
4
5
6
7
8
9
→
↓
←
↑
Space
x
z
`
g
Both actually! See section 6 in Making Ado Without Expectations—unmeasurable sets are one kind of expectation gap (6.2.1) and ‘single-hit’ infinities are another (6.1.2)
When would you need to deal with unmeasurable sets in practice? They can’t be constructed explicitly, i.e. with just ZF without the axiom of choice, at least for the Lebesgue measure on the real numbers (and I assume this extends to Rn, but I don’t know about infinite-dimensional spaces). I don’t think they’re a problem.
You’re correct, in practice you wouldn’t—that’s the ‘instrumentalist’ point made in the latter half of the post