 |
Post AkTTMFJn46Ar9jaC48 by [email protected] |
 |
More posts by [email protected] |
|
Post #AkTTM9krkWGbtyCjR2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I helped a student make sense of direct proof, proof by contradiction and proof… |
|
|
|
Post #AkTTMDajU8XPnhUhCC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@DavidKButler Oooh nice. Also easily adapted to #constructiveMathematics as fol… |
|
|
|
Post #AkTTMDhp3mD29goMFM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@soaproot @andrejbauer Interestingly I was talking to the student about what in… |
|
|
|
Post #AkTTMFJn46Ar9jaC48 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@DavidKButler @soaproot Why do you mean by "contraction"? Simplifying… |
|
|
|
Post #AkTTMFPohgzjSQP0SW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @soaproot It was a typo. I meant contradiction. |
|
|
|
Post #AkTTMFVUMbX1k13XIe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@DavidKButler @soaproot Ok. Anyhow, take care not to confound proof by contradi… |
|
|
|
Post #AkTTMFbA1W4K1bi48m by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @soaproot I don’t see why this is an issue. |
|
|
|
Post #AkTTMFgpgQbcJCMayu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@DavidKButler @andrejbauer Heh. In a logic with double negation elimination, it… |
|
|
|
Post #AkTTMFm9MerKZgqqGm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@soaproot @DavidKButler It's true that this the difference is more pronounc… |
|
|
|
Post #AkTTMFrp1ZOcrHVN6u by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @soaproot I just don’t see why they’re distinct. If the statem… |
|
|
|
Post #AkTTMFxUgTvv8s9tx2 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@DavidKButler @andrejbauer @soaproot I’m just a lay person, but I wonder if i… |
|
|
|
Post #AkTZitMHTccjQyvfxQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@marshray @andrejbauer @soaproot Ahh. That makes more sense. I forget that when… |
|
|
|
Post #AkTZitSf5tjBklulu4 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@DavidKButler @andrejbauer @soaproot I can only imagine you have many amusing a… |
