816: Applied Math

Explain xkcd: It's 'cause you're dumb.
Revision as of 02:39, 23 December 2013 by Zowayix (talk | contribs)
Jump to: navigation, search
Applied Math
Dear Reader: Enclosed is a check for ninety-eight cents. Using your work, I have proven that this equals the amount you requested.
Title text: Dear Reader: Enclosed is a check for ninety-eight cents. Using your work, I have proven that this equals the amount you requested.

Explanation

Donald Knuth is a computer scientist that has written several computer science textbooks and he offers monetary rewards for anyone finding errors in his publications. The first error found in each book is worth US$2.56. Other suggestions are worth less than $2.56, but a check is still sent out if Dr. Knuth finds them to be reasonable.

In this comic, Megan uses a proof to invalidate logic itself. And then, she writes a letter to Dr. Knuth to collect her money for the 1,317,408 errors in The Art of Computer Programming at $2.56 each. Assuming only the latest edition of each volume is considered, the number of errors would average to more than 400 errors per page—that would imply that practically every single word is considered wrong by Megan.

The text contradiction.png at the bottom of the proof is logical notation for "therefore, the proposition (statement) is true and the proposition is false". Specifically, ∴ means "therefore", P represents a given proposition being true, ∧ stands for "and", and an overbar negates a proposition (so P represents that proposition being false).

In the title text is the reply from Dr. Knuth in which he uses Megan's logic disproving proof to show that the amount she requested is equal to 98 cents. This is an example of the principle of explosion, referenced in a previous comic.

Transcript

[Ponytail is standing at a whiteboard considering a logical proof. The proof assumes P and deduces PP.]
Ponytail: Wow. I can't find fault with your proof.
[Ponytail is still looking at the white board, the frame expands to show Megan walking away, rubbing her hands together in an evil manner.]
Ponytail: You've show the inconsistency - and thus the invalidity - of basic logic itself.
Megan: Excellent, on to step two.
[Megan sits down at a desk and begins to write.]
Dear Dr. Knuth,
[She continues to write.]
I am writing to collect from you the $3,372,564.45 I am owed for discovering 1,317,408 errors in The Art of Computer Programming...


comment.png add a comment! ⋅ comment.png add a topic (use sparingly)! ⋅ Icons-mini-action refresh blue.gif refresh comments!

Discussion

Where IS the indication that she got the address from Black Hat ?Guru-45 (talk) 10:45, 17 May 2013 (UTC)

She must have derived it via the principle of explosion. 108.162.221.90 19:58, 12 May 2014 (UTC)

Which is a reference to xkcd #704. 108.162.254.56 11:45, 8 June 2015 (UTC)

If you look in the top-right corner, you can see what looks like "ZFC," (Zermelo-Fraenkel Set Theory with the Axiom of Choice), which is a a dozen or so axioms that all of mathematics is built upon. Because of Godel's Incompleteness Theorems, it is impossible to prove that ZFC contains no contradictions (unless it actually does contain contradictions). If Megan proved the inconsistency of logic, she certainly could show as a corrollary the inconsistency of ZFC, and therefore all of mathematics. Even statements like 2+2=4 could be proven false. String userName = new String(); (talk) 20:20, 7 May 2015 (UTC)