Comment on SUNS OUT GUNS OUT
MBM@lemmings.world 2 days agoIncompleteness 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 2 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…