[perthmad]

Proving a negation is not a proof by contradiction, that's just the proof of an (absurd) implication. Logic people actually write blog posts about this: https://math.andrej.com/2010/03/29/proof-of-negation-and-pro...

[hnben]

> I am discovering that mathematicians cannot tell the difference between “proof by contradiction” and “proof of negation”.

I am glad to learn, that I just as dumb as the average mathematician lol.

> Proving a negation is not a proof by contradiction

did I say that it is, though?