News for hackers. Stuff that matters.
Re:Conterintuitive facts in mathematics, CS, and physics by 0xmarcin on Wednesday October 06, 2021 @01:42AM (#28769592)
Also this only works when the highly contested Axiom of Choice is used.
Re:Conterintuitive facts in mathematics, CS, and physics by BalinKing on Wednesday October 06, 2021 @02:39AM (#28769921)
But isn't Banach-Tarski one of the main reasons why AoC is highly contested in the first place? (I don't know much about higher math, so this only my amateur impression.)
Re:Conterintuitive facts in mathematics, CS, and physics by kcolford on Wednesday October 06, 2021 @10:56AM (#28773910)
It's also contested because while intuitive to a countable set of countable sets, generalizing to higher cardinals is not intuitive. Although the same could be said of the Power Law as well...
Re:Conterintuitive facts in mathematics, CS, and physics by intuitionist on Thursday October 07, 2021 @11:37AM (#28787715)
The paradoxical decomposition of the free group doesn’t rely on choice though, and that’s arguably the “heart” of BT.