Difference between revisions of "Talk:1724: Proofs"
Line 5: | Line 5: | ||
:: I support that. [[Special:Contributions/141.101.91.223|141.101.91.223]] 06:13, 24 August 2016 (UTC) | :: I support that. [[Special:Contributions/141.101.91.223|141.101.91.223]] 06:13, 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) | :: 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) | ||
− | + | :: Done [[User:Elektrizikekswerk|Elektrizikekswerk]] ([[User talk:Elektrizikekswerk|talk]]) 08:26, 24 August 2016 (UTC) | |
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) | 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 08:26, 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)
- Done Elektrizikekswerk (talk) 08:26, 24 August 2016 (UTC)
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)