News for hackers. Stuff that matters.

A comment on Cantor diagonalisation. Parent comment

Re:Cantor diagonalisation by sillysaurus3 on Friday March 10, 2017 @11:09PM (#13844170)
The logic embedded in Supertasks and the Banach-Tarski Paradox has always seemed strange. It's not flawed, but it's so counterintuitive that it can seem like evidence that something in the logic of infinities must be wrong.

https://www.youtube.com/watch?v=ffUnNaQTfZE

https://www.youtube.com/watch?v=s86-Z-CbaHA

[ Parent | on HN ]
Re:Cantor diagonalisation by Smaug123 on Saturday March 11, 2017 @02:33AM (#13844660)
Banach-Tarski isn't so much evidence that infinity or Choice is wrong, as evidence that the reals aren't a particularly good model of the real world.
[ Parent | on HN ]