4 ms·
Also this only works when the highly contested Axiom of Choice is used.
by 0xmarcin 5y ago
Also this only works when the highly contested Axiom of Choice is used.
- BalinKing 5y agoBut 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.)
- kcolford 5y agoIt'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...
- intuitionist 5y agoThe paradoxical decomposition of the free group doesn’t rely on choice though, and that’s arguably the “heart” of BT.