• Ad4mWayn3@sh.itjust.worksOP
    link
    fedilink
    arrow-up
    0
    ·
    7 days ago

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