Comment by AlotOfReading
4 months 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.
4 months 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.
> Yes, and if you have the wrong theorems, the proof doesn't matter.
Agreed.