• MBM@lemmings.world
    link
    fedilink
    English
    arrow-up
    7
    ·
    1 month ago

    Incompleteness means that maybe it’s actually impossible to prove or disprove the Riemann hypothesis, or whether P=NP. I think that’s a big deal. Maybe the fact that there are meaningful results shown to be unprovable (like axiom of choice) is more satisfying?