News for hackers. Stuff that matters.
Re:The Point of the Banach-Tarski Theorem – not just a curio... by reagency on Sunday June 07, 2015 @02:47PM (#9675873)
Which proofs depend on an infinitely discontinuous subset, though?
Re:The Point of the Banach-Tarski Theorem – not just a curio... by ColinWright on Sunday June 07, 2015 @03:06PM (#9675955)
It's not that we rely on such things, but that these things are unavoidable consequences of choices we make that seem to be perfectly reasonable, and result in useful math.

Phrasing in the other way:

As we develop math that we find useful and powerful, we find that we have to make choices. Those choices have consequences, and sometimes as we explore the consequences we find that really strange things happen.

We can go back and make different choices, but in practice we tend to find that no matter what choices we make there are odd and hairy things that result.

Re:The Point of the Banach-Tarski Theorem – not just a curio... by ebola1717 on Monday June 08, 2015 @03:23AM (#9677642)
The natural way to encode an infinite binary tree into the real numbers is as the Cantor set, an uncountable totally disconnected set.