top | item 34149105 (no title) jwolfe | 3 years 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? discuss order hn newest fallat|3 years ago They'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.
fallat|3 years ago They'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.
fallat|3 years ago