Hacker News new | ask | show | jobs
by AlotOfReading 95 days ago
Yes, and if you have the wrong theorems, the proof doesn't matter. Verification vs validation. Proofs solve verification, but the hard problem of validation remains.
1 comments
auggierose 95 days ago
> Yes, and if you have the wrong theorems, the proof doesn't matter.

Agreed.

link