3 ms·
I think you have been confusing them. Two theorems are the same if they have the same statement (spec). A proof is not a theorem, nobody cares about when two pr
by auggierose 7mo ago
I think you have been confusing them. Two theorems are the same if they have the same statement (spec). A proof is not a theorem, nobody cares about when two proofs are the same or not.
- AlotOfReading 7mo agoYes, 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.