Yes, I understand what you mean. We don't disagree on the substance. | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

xpe 23 days ago | parent | context | favorite | on: A visual proof that a^2 – b^2 = (a + b)(a – b)

Yes, I understand what you mean. We don't disagree on the substance.

layer8 23 days ago [–]

It 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact