Editing 816: Applied Math

Jump to: navigation, search

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision Your text
Line 8: Line 8:
  
 
==Explanation==
 
==Explanation==
−
[[Donald Knuth]] is a {{w|computer scientist}} who has written several computer science textbooks and he offers {{w|Knuth reward check|monetary rewards}} for anyone finding errors in his publications. The first error found in each book is worth US$2.56 (256=2<sup>8</sup> is a very important number in the IT domain). Other suggestions are worth less than $2.56, but a check is still sent out if Dr. Knuth finds them to be reasonable.
+
{{w|Donald Knuth}} is a {{w|computer scientist}} that has written several computer science textbooks and he offers {{w|Knuth reward check|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.
  
−
[[Megan]] uses a proof to invalidate logic itself. (Of course, this means that her proof paradoxically renders itself meaningless. If logic has been disproven, her proof has no value.) According to the logic symbols [[File:contradiction.png]] at the bottom of the proof, she has proved that "the proposition (statement) is true and the proposition is false," i.e. "something is both true and false." (Specifically, ∴ means "therefore", ''P'' represents that a proposition is true, ∧ stands for "and", and an overbar negates a proposition (so ''<span style="text-decoration: overline">P</span>'' represents that a proposition is false) The negate symbol, ¬, is also used for this purpose when placed in front of a symbol<!--letter? symbol?-->). If someone were to prove this, it would indeed derail the very foundation of logic and result in the {{w|principle of explosion}}, which was referenced in [[704: Principle of Explosion|a previous comic]].
+
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 {{w|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.
  
−
Since most of the content of computer science textbooks is fundamentally based on logic, Megan's proof obviously spells doom for Dr. Knuth's, as each instance of logic can now be considered an error. After Megan's friend confirms the validity of her proof, Megan writes a letter to Dr. Knuth to collect her money for the 1,317,408 errors in {{w|The Art of Computer Programming}} at $2.56 each. According to the amount Megan demands as a reward, she apparently considers this textbook to have an average of more than 400 instances of logic per page (if she has the latest edition of each volume).
+
The text [[File: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 ''<span style="text-decoration: overline">P</span>'' represents that proposition being false).
  
−
The title text is the reply from Dr. Knuth, in which he uses Megan's logic-disproving proof against her by claiming — with no logical explanation — that the amount of money she is in fact due as a reward is only 98 cents. In logic, from a contradiction (such as "P∧<span style="text-decoration: overline">P</span>") can be inferred any statement, including that $3,372,564.48 = $0.98. He does this presumably to a) get out of paying her over three million dollars, b) demonstrate his contempt for or disbelief in her proof, and/or c) to show her, rather passive-aggressively, that she herself is not exempt from any ill effects resulting from her proof.  If logic is proved to be false, then all mathematics are proved false and 3,372,564.48 = 0.98. Dr. Knuth could have also given her nothing, as 0 would equal 0.98 which would equal 3,372,564.48.
+
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 {{w|principle of explosion}}, referenced in [[704: Principle of Explosion|a previous comic]].
−
 
 
−
The title of the comic, "Applied Math," is a play on {{w|Applied mathematics}}, "mathematical methods that are typically used in science, engineering, business, and industry," as opposed to {{w|pure math}}, which focuses exclusively on abstract concepts. Instead of using math to calculate something like the speed of a falling object, Megan uses it for an ostensibly more frivolous reason: to gain a huge reward via a proof of dubious validity.
 
  
 
==Transcript==
 
==Transcript==
 
:[Ponytail is standing at a whiteboard considering a logical proof. The proof assumes ''P'' and deduces ''P'' ∧ ''<span style="text-decoration: overline">P</span>''.]
 
:[Ponytail is standing at a whiteboard considering a logical proof. The proof assumes ''P'' and deduces ''P'' ∧ ''<span style="text-decoration: overline">P</span>''.]
 
:Ponytail: Wow. I can't find fault with your proof.
 
: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 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 shown the inconsistency — and thus the invalidity — of basic logic itself.
+
:Ponytail: You've show the inconsistency - and thus the invalidity - of basic logic itself.
−
:Megan: Excellent. On to step two...
+
:Megan: Excellent, on to step two.
−
 
 
 
:[Megan sits down at a desk and begins to write.]
 
:[Megan sits down at a desk and begins to write.]
 
:Dear Dr. Knuth,
 
:Dear Dr. Knuth,
−
 
 
:[She continues to write.]
 
:[She continues to write.]
−
:I am writing to collect from you the $3,372,564.48 I am owed for discovering 1,317,408 errors in ''The Art of Computer Programming...''
+
: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...
  
 
{{comic discussion}}
 
{{comic discussion}}
−
 
 
[[Category:Comics featuring Megan]]
 
[[Category:Comics featuring Megan]]
 
[[Category:Comics featuring Ponytail]]
 
[[Category:Comics featuring Ponytail]]
 
[[Category:Comics featuring Donald Knuth]]
 
[[Category:Comics featuring Donald Knuth]]
 
[[Category:Logic]]
 
[[Category:Logic]]

Please note that all contributions to explain xkcd may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see explain xkcd:Copyrights for details). Do not submit copyrighted work without permission!

To protect the wiki against automated edit spam, we kindly ask you to solve the following CAPTCHA:

Cancel | Editing help (opens in new window)

Templates used on this page:

Retrieved from "https://www.explainxkcd.com/wiki/index.php/816:_Applied_Math"