Difference between revisions of "982: Set Theory"

Explain xkcd: It's 'cause you're dumb.
Jump to: navigation, search
m (Explanation: removed ")
(Explanation: An unmatched left parenthesis creates an unresolved tension that will stay with you all day.)
(12 intermediate revisions by 10 users not shown)
Line 8: Line 8:
  
 
==Explanation==
 
==Explanation==
This comic is a pun on the phrase "{{w|Proof by intimidation|Proof by Intimidation}}" which normally is ''a jocular term used mainly in mathematics to refer to a style of presenting a purported mathematical proof by giving an argument loaded with jargon and appeal to obscure results, so that the audience is simply obliged to accept it, lest they have to admit their ignorance and lack of understanding:''.
+
This comic is a pun on the phrase "{{w|Proof by Intimidation}}" which normally is a jocular term used mainly in mathematics. It refers to a style of presenting a purported mathematical proof by giving an argument loaded with jargon and appeals to obscure results, so that the audience is simply obliged to accept it, lest they have to admit their ignorance and lack of understanding.
  
However, in this comic, "Proof by Intimidation" is taken to mean that by intimidating the elements within a set, they will conform to the proof (or, as the title text says, they will become "well-ordered"). This is accomplished by believing that the elements can be {{w|anthropomorphize}}d such that they feel fear. The idea of executing as an example was invented by Sun Tzu in the ancient book {{w|The Art Of War}}.
+
However, in this comic, "Proof by Intimidation" is taken to mean that by intimidating the elements within a set, they will conform to the proof (or, as the title text says, they will become "well-ordered"). This is accomplished by believing that the elements can be {{w|anthropomorphize}}d such that they feel fear. The idea of executing as an example was exemplified by Sun Tzu in the ancient book {{w|The Art Of War}}.
  
The {{w|axiom of choice}} (which has been referenced in [[:Category:Axiom of Choice|previous xkcds]]) says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin.
+
The {{w|axiom of choice}} (which has been referenced in previously in [[804: Pumpkin Carving]]), says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin. It was later referenced in the title text of [[1724: Proofs]], another comic about a math class with a similar theme on how teachers teach their student mathematical proofs.
  
In the title text, the well-ordering theorem states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. This is also known as {{w|Zermelo's theorem}} and is equivalent to the Axiom of Choice.
+
In the title text, the well-ordering theorem states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. This is also known as {{w|Zermelo's theorem}} and is equivalent to the Axiom of Choice. The woodchipper is a reference to the 1996 film {{w|Fargo (film)|Fargo}}, where a character uses one to dispose of a body.
 +
 
 +
There is another layer to the joke.  If you can feed the set to the wood-chipper, that defines an ordering on the set (the order in which the elements are fed to the wood chipper) which would be well-ordered.  Hey, look, the set really is well-ordered!  If there were no way of defining a well-ordering on the set, you wouldn't be able to feed it to the wood-chipper.
  
 
==Transcript==
 
==Transcript==
:[Ponytail stands at a blackboard, facing away from it. She has a pointer in her hand, and written on the blackboard is some set theory math.]
+
:[Ponytail stands at a blackboard, facing away from it. She has a pointer in her hand, and written on the blackboard is some set theory math, although one of the set elements is being pointed into a guillotine.]
:Ponytail: The axiom of choice allows you to select one element from each set in a collection and have it ''executed'' as an example to the others.
+
:Ponytail: The axiom of choice allows you to select one element from each set in a collection
 +
:Ponytail: and have it ''executed'' as an example to the others.
 
:My math teacher was a big believer in Proof by Intimidation.
 
:My math teacher was a big believer in Proof by Intimidation.
  
 
{{comic discussion}}
 
{{comic discussion}}
 +
 
[[Category:Comics featuring Ponytail]]
 
[[Category:Comics featuring Ponytail]]
[[Category:Set theory]]
 
 
[[Category:Math]]
 
[[Category:Math]]
 
[[Category:Logic]]
 
[[Category:Logic]]
[[Category:Axiom of Choice]]
+
[[Category:Puns]]

Revision as of 05:37, 10 October 2016

Set Theory
Proof of Zermelo's well-ordering theorem given the Axiom of Choice: 1: Take S to be any set. 2: When I reach step three, if S hasn't managed to find a well-ordering relation for itself, I'll feed it into this wood chipper. 3: Hey, look, S is well-ordered.
Title text: Proof of Zermelo's well-ordering theorem given the Axiom of Choice: 1: Take S to be any set. 2: When I reach step three, if S hasn't managed to find a well-ordering relation for itself, I'll feed it into this wood chipper. 3: Hey, look, S is well-ordered.

Explanation

This comic is a pun on the phrase "Proof by Intimidation" which normally is a jocular term used mainly in mathematics. It refers to a style of presenting a purported mathematical proof by giving an argument loaded with jargon and appeals to obscure results, so that the audience is simply obliged to accept it, lest they have to admit their ignorance and lack of understanding.

However, in this comic, "Proof by Intimidation" is taken to mean that by intimidating the elements within a set, they will conform to the proof (or, as the title text says, they will become "well-ordered"). This is accomplished by believing that the elements can be anthropomorphized such that they feel fear. The idea of executing as an example was exemplified by Sun Tzu in the ancient book The Art Of War.

The axiom of choice (which has been referenced in previously in 804: Pumpkin Carving), says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin. It was later referenced in the title text of 1724: Proofs, another comic about a math class with a similar theme on how teachers teach their student mathematical proofs.

In the title text, the well-ordering theorem states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. This is also known as Zermelo's theorem and is equivalent to the Axiom of Choice. The woodchipper is a reference to the 1996 film Fargo, where a character uses one to dispose of a body.

There is another layer to the joke. If you can feed the set to the wood-chipper, that defines an ordering on the set (the order in which the elements are fed to the wood chipper) which would be well-ordered. Hey, look, the set really is well-ordered! If there were no way of defining a well-ordering on the set, you wouldn't be able to feed it to the wood-chipper.

Transcript

[Ponytail stands at a blackboard, facing away from it. She has a pointer in her hand, and written on the blackboard is some set theory math, although one of the set elements is being pointed into a guillotine.]
Ponytail: The axiom of choice allows you to select one element from each set in a collection
Ponytail: and have it executed as an example to the others.
My math teacher was a big believer in Proof by Intimidation.


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

Discussion

If your math paper isn't working out, rip it up to show it who's boss! Davidy22[talk] 06:57, 2 February 2013 (UTC)

Actually the "making an example by execution" is indeed in the Art of War, but AFAIK was not performed by Sun Tzu, it was done by one of his predecessors, who was challenged to make an army of the Emperor's concubines.--141.101.89.203 14:48, 7 April 2014 (UTC)

   :My math teacher was a big believer in Proof by Intimidation. 

Sums up the English Educational system and popular western culture until the Hippy era broke that particular example of sharia law. (Lest we forget!) I used Google News BEFORE it was clickbait (talk) 08:34, 22 January 2015 (UTC)

Surprised that the teacher was not Miss Lenhart. Herobrine (talk) 12:08, 24 February 2018 (UTC)