We still have 16 explanations we need to complete. All incomplete explanations are here.
Help us finish the index of What if? articles! We need to clean up & add the new YouTube videos!
Talk:1724: Proofs
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)
I'm thinking she's doing one of those proof that write down a formula or function out of nowhere, and proceeds to proof everything with it. 108.162.222.125 08:43, 24 August 2016 (UTC)
This comic reminds me of "divination" rituals, where a magical spirit is summoned to write out an answer. Usually not something as complex as here, but hey, XKCD! --Henke37 (talk) 10:04, 24 August 2016 (UTC)
Man, Reductio ad absurdum never made any logic. If we could assume any thing, why use logic? Oh wait, it has aldready been covered in XKCD