3 ms·
If you're confident about your proof checker being correct, then why would you not be confident about the validity of a proof that your proof checker says is co
by jwolfe 4y ago
If you're confident about your proof checker being correct, then why would you not be confident about the validity of a proof that your proof checker says is correct?
- fallat 4y agoThey're not even touching that but it's possible. The issue is you can still write proofs that appear correct, but really, they aren't.