einfach_orangensaft@sh.itjust.works to Programmer Humor@programming.dev · 1 month agoultimate storage hacksh.itjust.worksimagemessage-square76linkfedilinkarrow-up1811arrow-down124
arrow-up1787arrow-down1imageultimate storage hacksh.itjust.workseinfach_orangensaft@sh.itjust.works to Programmer Humor@programming.dev · 1 month agomessage-square76linkfedilink
minus-squaregnutrino@programming.devlinkfedilinkEnglisharrow-up16·1 month agoObligatory “pi hasn’t been proved to be normal”
minus-squarepalordrolap@fedia.iolinkfedilinkarrow-up3·1 month agoOh, I guarantee that pi is 100% normal. Just not necessarily in the base you want it to be normal in.
minus-squaregnutrino@programming.devlinkfedilinkEnglisharrow-up7·1 month agoI don’t know of a proof that pi is normal in any base (even non-integer bases) so I’d be interested to see on what basis you can guarantee it.
minus-squareAwesomeLowlander@sh.itjust.workslinkfedilinkarrow-up2·1 month agoIt’s somewhere in pi. Wait a moment while I look it up.
Obligatory “pi hasn’t been proved to be normal”
Oh, I guarantee that pi is 100% normal. Just not necessarily in the base you want it to be normal in.
I don’t know of a proof that pi is normal in any base (even non-integer bases) so I’d be interested to see on what basis you can guarantee it.
It’s somewhere in pi. Wait a moment while I look it up.