3 ms·
How does this work for the banach tarski paradox?
by rocqua 5y ago
How does this work for the banach tarski paradox?
- zozbot234 5y agoThat depends on the axiom of choice. From a constructive POV, this means you would have to introduce some sort of extra assumptions to the theorem itself. (The axiom of choice is also inconsistent with some popular extensions to constructive mathematics, so Banach-Tarski simply cannot apply to those mathematical objects.)