• Ad4mWayn3@sh.itjust.worksOP
    link
    fedilink
    arrow-up
    1
    ·
    21 days ago

    They are still real numbers. Specifically uncomputable, normal numbers. Which means their rational expansion contain every natural number.