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.
[ Parent
| on HN ]
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.