Hacker News new | ask | show | jobs
by coldtea 3964 days ago
>Not even the most naive users of the slogan "you can't prove a negative" literally think that you cannot prove negatively phrased mathematical or logical claims, such as "1 + 2 != 5".

What happens is that the most "naive users of the slogan" don't take their thinking that far, that's why they believe it. It's not that don't think you cannot prove negatively phrased mathematical or logical claims, it's they don't understand that that would be a counter-example to their "can't prove a negative" claim.