Agreed! That’s definitely and important point, and one reason why it’s still interesting to try to prove P \neq NP. The point I was making here was only that when proofs are used for the “certainty” that they give, then strong evidence from other ways is also enough to rely on the proposition.
Agreed! That’s definitely and important point, and one reason why it’s still interesting to try to prove P \neq NP. The point I was making here was only that when proofs are used for the “certainty” that they give, then strong evidence from other ways is also enough to rely on the proposition.
Yep, agreed. I thought it was a very clever point!