Editing 982: Set Theory
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 13: | Line 13: | ||
This interpretation of the term "Proof by Intimidation" bears great resemblance to {{w|Argumentum ad baculum|argument from the stick}}, which is a fallacious form of reasoning of the form | This interpretation of the term "Proof by Intimidation" bears great resemblance to {{w|Argumentum ad baculum|argument from the stick}}, which is a fallacious form of reasoning of the form | ||
β | + | 1. If not P, I will do you harm. | |
β | + | 2. Therefore, P. | |
β | + | This form of fallacy has the distinction, if properly applied, of never being called out as fallacious. Ponytail, however, is threatening the proposition itself, rather than her audience, bringing a level of absurdity to the situation. | |
The {{w|axiom of choice}} (which has been referenced 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. | The {{w|axiom of choice}} (which has been referenced 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. The woodchipper is a reference to the 1996 film {{w|Fargo (film)|Fargo}}, where a character uses one to dispose of a body. | 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. | ||
+ | |||
+ | It might seem 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). However, that doesn't actually work, because the resulting ordering is not necessarily well-ordered. For example, consider the set of positive real numbers. You can imagine feeding half a number line to a wood chipper from the end near zero. This defines the standard less-than ordering, but it is not a well-ordering because it does not define a least element. For any positive number x, x/2 went into the wood chipper first. The set may be motivated to find a well-ordering, but it won't be the standard one. | ||
==Transcript== | ==Transcript== |