News for hackers. Stuff that matters.

A comment on The Point of the Banach-Tarski Theorem – not just a curiosity. Parent comment

Re:The Point of the Banach-Tarski Theorem – not just a curio... by rndn on Sunday June 07, 2015 @01:53PM (#9675638)
The problem is that some concepts might not have an "isomorphism" to the real world (as Hofstadter calls it). In fact, finitists believe that the concept of infinity possibly introduces some discrepancy, making the "casting" a lossy transformation.
[ Parent | on HN ]
Re:The Point of the Banach-Tarski Theorem – not just a curio... by platz on Sunday June 07, 2015 @02:10PM (#9675711)
Exactly,"upcasts" can be one-way
[ Parent | on HN ]
Re:The Point of the Banach-Tarski Theorem – not just a curio... by murbard2 on Sunday June 07, 2015 @06:57PM (#9676631)
Do you have an example?
[ Parent | on HN ]
Re:The Point of the Banach-Tarski Theorem – not just a curio... by Strilanc on Monday June 08, 2015 @03:20AM (#9677634)
Presumably the axiom of choice is a good example of something unlikely to be applicable in a real world context. Unless you're trying to anticipate when a rogue mathematician is about to attack, of course.

(Also halting oracles.)

[ Parent | on HN ]