upvote
I asked how would it change anything. What's the next step if an oracle were to tell you p=np that changes anything about the world?

We all believe it. It's a magic oracle. Now what?

reply
If it is known that A is provably true then one can study the consequences of A being true. It changes things becuase the body of knowledge has expanded.
reply
> If it is known that A is provably true then one can study the consequences of A being true

But one can already study the consequences of P=NP right now. You don't need to know that it's provably true in order to do that.

Knowing an actual proof would be useful, but an oracle revealing merely that it's true (or even provable) without telling you the proof does not let you do anything you couldn't do before.

reply
In this case won't this oracle also tell you what is the consequences as soon as it tells you RH is true and also much more? At this point what is the point of you knowing what is true and what is not?
reply
> It would be very useful to have an oracle tells us whether or not RH is correct.

For what? Which product becomes better if it is correct?

reply
You have an unfortunate view of the value of knowledge. The frontiers of science would be static if everyone believed as you do.
reply
Someone claimed it would be "useful", without saying what for. Hence the questions "what for?". To try to shame people for that question in the name of science of all things is wild.
reply
The whole point why anyone cares about these proofs is that the things we learn as we make the proof might add value, proving p = np itself isn't interesting, that knowledge has no application and therefore no value in itself.

I have published mathematics so I do value knowledge, but for most of mathematics the value of the knowledge isn't the thing you try to prove it is all the things you learn as you try to prove it. p = np is one such thing.

So the whole interesting bit about it is the proof, not the fact.

reply
You are wrong as far as most mathematicians believe. The fact is important. The proof of the fundamental theorem of algebra is interesting and important but the theorem itself is also important.

For what? Which product becomes better if it is correct?

This sentiment is anti-thetical to the whole point of pure math and theoretical science. No product became better when Euler proved the fundamental theorem of algebra.

reply
deleted
reply