• @gnutrino@programming.dev
    link
    fedilink
    English
    85 days ago

    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.