this post was submitted on 27 May 2024
976 points (100.0% liked)

196

16327 readers
2302 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS
moss@lemmy.blahaj.zone
greembow@lemmy.blahaj.zone
moss@lemmy.world
queue@beehaw.org
funky_rodent@lemmy.blahaj.zone
PeachyMcPeachface@lemmy.blahaj.zone
threegnomes@lemmy.blahaj.zone
greembow@lemmy.world
remotelove@lemmy.ca
Roflmasterbigpimp@feddit.de
qaz@lemmy.world
A_Very_Big_Fan@lemm.ee
qaz@lemmy.blahaj.zone
qaz@lemmy.ca
A_Very_Big_Fan@lemmy.world
qaz@lemmy.dbzer0.com
Qaz@lemmy.ml
qaz@sh.itjust.works
qaz@lemmy.sdf.org
976
Spectrum rule (feddit.uk)
submitted 4 months ago by flamingos@feddit.uk to c/196@lemmy.blahaj.zone
139 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] i_love_FFT@lemmy.ml 1 points 4 months ago (1 children)

Well that's interesting: in order to define unmeasurable sets, you relied on the axiom of choice... I suppose it might be possible to define unmeasurable sets without AC, but maybe not!

Every time I encounter the axiom of choice implying a bunch of crazy stuff, it always loop back to requiring AC. It's like a bunch of evidence against AC!

I find it interesting that the basic description of AC sounds very plausible, but I'm still convinced mathematicians might have made the wrong choice... (See what i did there? ๐Ÿ˜„)

[โ€“] kogasa@programming.dev 2 points 4 months ago

It's required, but nontrivially so. It has been proven that ZF + dependent choice is consistent with the assumption that all sets of reals are Lebesgue measurable.