Re:Pi calculation world record with over 202T digits
by hn_throwaway_99 on Monday July 15, 2024 @04:57PM
(#40971405)
But then the original implication, "100% of real numbers are normal, so that's pretty strong statistical evidence", still doesn't make any sense, as it's essentially using "100%" to imply "strong statistical evidence" that the rationals don't exist, which obviously doesn't follow.
[ Parent
| on HN ]
Re:Pi calculation world record with over 202T digits
by mhink on Monday July 15, 2024 @06:36PM
(#40972068)
I got the impression that the comment was a bit tongue-in-cheek.
The joke lies in the fact that saying "100% of real numbers" isn't *technically* the same thing as saying "all real numbers", because there's not really a good way to define a meaning for "100%" that lets you exclude rational numbers (or any other countable subset of the reals) and get something other than 100%.
Re:Pi calculation world record with over 202T digits
by staunton on Monday July 15, 2024 @06:29PM
(#40972026)
> still doesn't make any sense
Right. I'm pretty sure actually that it was a joke...
Re:Pi calculation world record with over 202T digits
by adgjlsfhk1 on Monday July 15, 2024 @09:44PM
(#40973024)
it was about half a joke. statistical evidence doesn't really exist for the type of problem since polynomialy computable numbers are countably infinite so you can't define a uniform distribution over then