Imagine you're trying to prove that water is wet (P!=NP). You lack a formalism that could make sense at building a proof even though pretty much everyone agrees from empirical evidence that the water is indeed wet. A promising attempt at building one such formalism was just demonstrated by a model to be a dead end.
I like this, but the actual finding is a bit different. Trying to keep the water is wet makes this awkward, but I believe it's more like:
Everyone agrees that water is wet (P!=NP), but no one can prove it. In the meantime, a whole field of computer science was built on a stronger belief (ETH): that water, at its worst, soaks. Turns out, even at its worst, water only makes things damp. It's still wet. That said, this finding did produce a new measurement of wetness.
At certain temperatures water is indeed not wet.
A nontrivial % believe P = NP with some reasonable probability. I wouldn’t say it’s all that settled unlike say RH
Anyone credible? A nontrivial number of people also believe that humans used to ride dinosaurs around like in the Flintstones.
> Anyone credible [who believes P=NP with some reasonable probability?
Do you accept
- Moshe Y. Vardi [1]
- Anil Nerode [2]
- Donald Knuth [3]
to be credible? Source for the statements that they consider P=NP to be possible: [4]
And you may include me in the list of credible P=NP believers because treat myself as a credible authority, i.e. when I ask myself whether something is right, I consider myself to be much more credible than some famous scientist. ;-)
(to be very clear: the previous paragraph is rather a clear statement against this kind of "hero worship" with respect to mathematical or scientific problems. One should consider the evidence by oneself instead of believing in P!=NP because lots of computer scientists claim all the time that this is likely true, or consider P=NP now to be possible just because some famous computer scientists consider it to be possible)
---
[1] https://en.wikipedia.org/w/index.php?title=Moshe_Vardi&oldid...
[2] https://en.wikipedia.org/w/index.php?title=Anil_Nerode&oldid...
[3] https://en.wikipedia.org/w/index.php?title=Donald_Knuth&oldi...
[4] https://en.wikipedia.org/w/index.php?title=P_versus_NP_probl...
Note that, while Knuth believes that P = NP, he doesn't believe that it will have practical applications because the exponents and/or constants will be galactic.
> to be very clear: the previous paragraph is rather a clear statement against this kind of "hero worship" with respect to mathematical or scientific problems.
No, it's an irrational rejection of the notion of expertise. The experts are not "heroes", they are simply people who have done vastly more study than folks like you or me. e.g., if Magnus Carlsen looks at a complex chess position and says that white is winning, I will trust his judgment far more than my own.
> The main argument in favor of P ≠ NP is the total lack of fundamental progress in the area of exhaustive search. This is, in my opinion, a very weak argument. The space of algorithms is very large and we are only at the beginning of its exploration. — Moshe Y. Vardi
That sounds particularly relevant in how AI-assisted/driven mathematical research is changing the game, where previous assumptions based on human experience/effort are being overturned unexpectedly.
stack overflow worthy levels of ego
Not the best analogy; water is famously not wet; it makes a surface wet is the common consensus ; wetness is being a property of a surface
No, it is famously a pointless internet debate with no settled answer. There is no scientific definition of what can or can't be wet, saying that wetness only applies to surfaces is just an opinion. It's an entirely linguistic question, and most people would say water is wet. If you want more than descriptivism, the common definition is something like 'containing or being covered with liquid', and I think most people would agree that a mass of water contains water.
I'm beginning to wonder whether P!=NP is undecidable.
Water is not wet. Human lacks water sensor. All the sensors we have a temperature ones so we sense "wet" as a combination of temperature and visual information. Close your eyes, touch water of your skin temperature and you won't sense it. It's not wet.
Stick your head in it and breathe. You'll know.
Not only is that statement not true, as noted by others, it's also not at all relevant to what you're responding to.
Sand too, even when dry. But OK, metaphors have limits.
There exist lots of non-wetting liquids in which humans cannot breathe.
By that definition, a vacuum is wet.
Fog, clouds, steam, ice.