Re:An intutive counterexample to the axiom of choice
by lisper on Tuesday January 24, 2023 @10:29AM
(#34504765)
> I just don’t see what describability, or as jiggawatts calls it, naming, has to do with AC.
It doesn't have anything to do with AoC per se, it has to do (I claim) with people's intuitions about AoC. Specifically, an infinite set of arbitrary subsets of the set of indescribable reals is something for which a reasonable person might be a tad suspicious about postulating the existence of a choice function.
It doesn't have anything to do with AoC per se, it has to do (I claim) with people's intuitions about AoC. Specifically, an infinite set of arbitrary subsets of the set of indescribable reals is something for which a reasonable person might be a tad suspicious about postulating the existence of a choice function.