Proving a negation is not a proof by contradiction, that's just the proof of an ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		perthmad on Aug 17, 2023 \| parent \| context \| favorite \| on: NP-hard does not mean hard (2017) 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 on Aug 17, 2023 [–]

> 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?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact