Editing 704: Principle of Explosion
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 35: | Line 35: | ||
:The formula P ∧ ¬P ⇒ Q is true in every possible interpretation. No matter what propositions are substituted for P and Q the implication is true. So if a single example of a contradiction were found, then every proposition would be true, (and simultaneously false). | :The formula P ∧ ¬P ⇒ Q is true in every possible interpretation. No matter what propositions are substituted for P and Q the implication is true. So if a single example of a contradiction were found, then every proposition would be true, (and simultaneously false). | ||
| − | After deriving the phone number Cueball instantly calls his | + | After deriving the phone number Cueball instantly calls his friends mom, who turns out to be [[Miss Lenhart|Mrs. Lenhart]]. She asks Cueball out, without any preamble, to his friend's vexation. It does not get better when it is obvious that she wishes to drink "cheap" {{w|boxed wine}} with him, and Cueball is free tonight! There is definitely a hint of {{w|Mrs. Robinson}} over Mrs. Lenhart here. |
In the title text we hear more of Cueball's (one-sided) conversation with Mrs. Lenhart. She asks him to pick up waffle cones, a variety of {{w|ice cream cone}}. And when he sounds bewildered by this she explains that it is for drinking the wine. This is probably not a very good idea, since waffles are typically not water proof and would also dissolve into the wine. The rest of the title text is just more of the main comic's derivation joke, since Cueball will use a second to derive her son's credit card number, so he can buy the cones at his expense. | In the title text we hear more of Cueball's (one-sided) conversation with Mrs. Lenhart. She asks him to pick up waffle cones, a variety of {{w|ice cream cone}}. And when he sounds bewildered by this she explains that it is for drinking the wine. This is probably not a very good idea, since waffles are typically not water proof and would also dissolve into the wine. The rest of the title text is just more of the main comic's derivation joke, since Cueball will use a second to derive her son's credit card number, so he can buy the cones at his expense. | ||
In reality, Cueball really could start with the principle of explosion and "prove" a statement such as "Mrs. Lenhart's phone number is {{w|867-5309}}", but the same could be said of any conceivable phone number, most of which don't actually belong to Mrs. Lenhart, and because his axiom system is inconsistent, he has no way of knowing which is correct. Likewise for his friend's credit card number. Much like {{w|The Library of Babel}}, an axiom system which can prove ''any'' statement might as well prove nothing. Perhaps Cueball already knows these phone and credit card numbers, and is just talking about the principle of explosion to mess with his friend. | In reality, Cueball really could start with the principle of explosion and "prove" a statement such as "Mrs. Lenhart's phone number is {{w|867-5309}}", but the same could be said of any conceivable phone number, most of which don't actually belong to Mrs. Lenhart, and because his axiom system is inconsistent, he has no way of knowing which is correct. Likewise for his friend's credit card number. Much like {{w|The Library of Babel}}, an axiom system which can prove ''any'' statement might as well prove nothing. Perhaps Cueball already knows these phone and credit card numbers, and is just talking about the principle of explosion to mess with his friend. | ||
| + | |||
==Transcript== | ==Transcript== | ||
