Difference between revisions of "Talk:1724: Proofs"

Explain xkcd: It's 'cause you're dumb.
Jump to: navigation, search
Line 6: Line 6:
 
:: Me to, but I am on mobile, so editing is a pain [[Special:Contributions/162.158.86.71|162.158.86.71]] 06:51, 24 August 2016 (UTC)
 
:: Me to, but I am on mobile, so editing is a pain [[Special:Contributions/162.158.86.71|162.158.86.71]] 06:51, 24 August 2016 (UTC)
 
V
 
V
 +
 +
Irrationality proof isn't really a proof by contradiction (it doesn't use double negation elimination). You're showing (exists a,b. ...) -> False by assuming (exists a, b. ...) and showing False, which is implication introduction --[[Special:Contributions/162.158.85.105|162.158.85.105]] 07:33, 24 August 2016 (UTC)

Revision as of 07:33, 24 August 2016

Judging from my experience when I first encountered proofs in math classes (or my general experience from math classes), the teacher is going to write down a "proof" which makes absolutely no sense to students and is also never explained in a way that actually makes them understand. Instead, they are just going to use "dark magic" and write what seems to be completely senseless to students. 141.101.91.223 04:24, 24 August 2016 (UTC)

Transcript generated by the BOT was murdering me, had to change it. Proposing miss Lenhart is party 1. EppOch (talk) 04:45, 24 August 2016 (UTC)

I support that. 141.101.91.223 06:13, 24 August 2016 (UTC)
Me to, but I am on mobile, so editing is a pain 162.158.86.71 06:51, 24 August 2016 (UTC)

V

Irrationality proof isn't really a proof by contradiction (it doesn't use double negation elimination). You're showing (exists a,b. ...) -> False by assuming (exists a, b. ...) and showing False, which is implication introduction --162.158.85.105 07:33, 24 August 2016 (UTC)