The “proving too much” parlour trick

In mathematics and logic we are taught a nice trick. Even if you cannot prove a statement true, if you have a counterexample at hand, you can immediately prove it false. But in practice, this is only a trick; if something is so false that it cannot be refined into correctness, then a mere counterexample … Continue reading The “proving too much” parlour trick