https://www.explainxkcd.com/wiki/api.php?action=feedcontributions&feedformat=atom&user=108.162.222.125explain xkcd - User contributions [en]2026-06-26T18:42:22ZUser contributionsMediaWiki 1.30.0https://www.explainxkcd.com/wiki/index.php?title=Talk:1724:_Proofs&diff=125677Talk:1724: Proofs2016-08-24T08:43:41Z<p>108.162.222.125: </p>
<hr />
<div>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.<br />
[[Special:Contributions/141.101.91.223|141.101.91.223]] 04:24, 24 August 2016 (UTC)<br />
<br />
Transcript generated by the BOT was murdering me, had to change it. Proposing miss Lenhart is party 1. [[User:EppOch|EppOch]] ([[User talk:EppOch|talk]]) 04:45, 24 August 2016 (UTC)<br />
:: I support that. [[Special:Contributions/141.101.91.223|141.101.91.223]] 06:13, 24 August 2016 (UTC)<br />
:: 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)<br />
:: Done [[User:Elektrizikekswerk|Elektrizikekswerk]] ([[User talk:Elektrizikekswerk|talk]]) 08:26, 24 August 2016 (UTC)<br />
<br />
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)<br />
<br />
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. [[Special:Contributions/108.162.222.125|108.162.222.125]] 08:43, 24 August 2016 (UTC)</div>108.162.222.125