-
@matthematician @linguanumerate Logical equivalence here also assumes the law of the excluded middle, which while common, isn't assumed in constructive mathematics.Permalink On twitter.com
Mood -2 🙁
-
@matthematician @linguanumerate For this reason I'll usually attempt to write a proof of the contrapositive rather than by contradiction, so that my proof is more portable, even if the result I need isn't.On twitter.com