4 ms·
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 rem
by AlotOfReading 7mo 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.
- auggierose 7mo ago> Yes, and if you have the wrong theorems, the proof doesn't matter. Agreed.