3 ms·
Just because a proof is valid doesn't mean it proves the thing you want it to prove.
by zahlman 1mo ago
Just because a proof is valid doesn't mean it proves the thing you want it to prove.
- tmhn2 1mo agoOf course you must check the statement, that is obvious. The advantage (to put it mildly) is that you don't have to check the entire proof by hand.