• MBM@lemmings.world
    link
    fedilink
    English
    arrow-up
    7
    ·
    8 days 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?

    • xor@lemmy.dbzer0.com
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      8
      ·
      8 days ago

      that’s not a big deal. Some things are unprovable… that’s pretty obvious.
      also P≠NP, that’s just dumb.
      You can never prove it because you don’t know what new math will be discovered…