On Saturday, 2 August 2014 at 04:46:43 UTC, Chris Cain wrote:
No. You can verify it but find it to be false. Your proof would show it to be false. The fact that you can write a proof showing it to be false is a proof that it was verifiable in the first place.
I think if one says they are going to prove something, they implicitly mean they are going to prove it to be true. And if one says they are going to disprove something, they implicitly mean they are going to prove it to be false. I think that might be causing a bit of misinterpretation.
