checkedint call removal

[Chris Cain via Digitalmars-d]

On Saturday, 2 August 2014 at 05:12:12 UTC, Tofu Ninja wrote:
> 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.

True. If someone says they are *going* to prove something ...

If someone says I *can* prove it... well...

http://en.wikipedia.org/wiki/Handwaving