3 ms·
Yes, I understand what you mean. We don't disagree on the substance.
by xpe 2y ago
Yes, I understand what you mean. We don't disagree on the substance.
- layer8 2y agoIt therefore makes sense to me (and represents actual usage of those terms) to say that some informal proof is formally wrong, meaning that translating its reasoning into a formal representation will reveal its incorrectness.