Earlier quoted context omitted.
> But again, when the null-hypothesis doesn't hold, p-value tells you very little (it's actually undefined in the math). The p-value is well defined whether the null hypothesis holds or not. You calculate it assuming it does. There you go, you have a properly calculated p-value. That's what physicists do: "Taking into account the entire mass range of the search, 110– 600 GeV, the global significance of the excess is…
Well, before you go, I implore you to look into the actual computation and theory of 'p-value'. A p-value is simply P(X|H). P(X|H) only means something when H is true. If H is false, P(X|H) tells you nothing. Since H is your null-hypothesis, if it does not actually hold in the real-world, P(X|H) is meaningless. If you read the paper I linked, they never explicitly call out the null hypothesis (nor do, I believe, they…
If you know H is false, P(X|H) tells you nothing. But then H wouldn't be a hypothesis, null or otherwise.
If you don't know whether H is true, but you do know something about X, P(X|H) tells you something useful about whether the positive hypothesis to which H is the alternative has an effect apparent in the world to explain.
> The null hypothesis can never be 'rejected' (ie. p-value can never reach 0).
Rejection of the null hypothesis does not mean p-value = 0. Scientific progress is not based on logical certainty, but rather practical utility.
Necessary truths are the domain of pure logic, not empirical science.