## 0704: "Principle of Explosion"

This forum is for the individual discussion thread that goes with each new comic.

Moderators: Moderators General, Prelates, Magistrates

joee
Posts: 227
Joined: Mon Dec 03, 2007 5:53 am UTC

### 0704: "Principle of Explosion"

http://xkcd.com/704/

Title: You want me to pick up waffle cones? Oh, right, for the wine. One sec, let me just derive your son's credit card number and I'll be on my way.

Lenhart -- which comic have we heard that in before?

Also, I read that as P ^ NP and was confused

P.S. Hi glasnt!
Hi glasnt.

A. Smith
Posts: 125
Joined: Mon Feb 11, 2008 5:01 am UTC
Location: Under a Hyperspace Bypass

### Re: "Principle of Explosion" Discussion

As I'm currently reading Gödel's Proof (by Nagel and Newman), I find this completely hilarious.

TrueJournals
Posts: 4
Joined: Fri Feb 19, 2010 5:14 am UTC

### Re: "Principle of Explosion" Discussion

joee wrote:Lenhart -- which comic have we heard that in before?

Multiple places, it would appear:
http://xkcd.com/135/ http://xkcd.com/416/ http://xkcd.com/499/ (at least, that's all I found with the search)

Posts: 90
Joined: Wed Apr 01, 2009 6:11 pm UTC

### Re: "Principle of Explosion" Discussion

Two comics in a row alluding to logic...I wonder what Randall's doing. It's a kind of "get out of my head" moment since I have a Discrete Math exam on Monday...eh, not really.

Haha, P^NP -- you've solved the most important problem in Computer Science!!!

FishyFred
Posts: 9
Joined: Sat Mar 22, 2008 6:18 pm UTC

### Re: "Principle of Explosion" Discussion

I don't have anything close to the math expertise to understand the joke here. Can someone translate for the laypeople?

Steve the Pocket
Posts: 707
Joined: Mon Apr 23, 2007 4:02 am UTC
Location: Going downtuuu in a Luleelurah!

### Re: "Principle of Explosion" Discussion

Huh. When I use the Principle of Explosion, I usually derive large craters. I guess I'm doing it wrong.

cephalopod9 wrote:Only on Xkcd can you start a topic involving Hitler and people spend the better part of half a dozen pages arguing about the quality of Operating Systems.

Baige.

acidcj
Posts: 18
Joined: Tue Jan 06, 2009 9:27 pm UTC

### Re: "Principle of Explosion" Discussion

Hey I just derived this post!

This is awesome.

Nihiltres
Posts: 23
Joined: Mon Oct 13, 2008 3:39 pm UTC

### Re: "Principle of Explosion" Discussion

Randall, get out of my head!

I'm currently taking a course in deductive logic
Spoiler:
and averaging 100% so far
and I've been thinking about pretty much exactly this comic (but not your mother).

Of course, there are worse logical principles that can be abused. If you know that a given statement is true, you can make arbitrary true if-then statements with the true statement as the consequent, since if-then statements are only false when the antecedent is true and the consequent is false. It may not make the antecedent true, but it sure sounds crazy.

Posts: 3
Joined: Wed Apr 16, 2008 7:11 am UTC

### Re: "Principle of Explosion" Discussion

FishyFred wrote:I don't have anything close to the math expertise to understand the joke here. Can someone translate for the laypeople?

The idea is that if I have something that is both true and not true (which that equation is), I can do logical things to the equation to make it seem like anything is anything. Or, "If I can prove that anything is both true and not true, I can never prove anything to not be either")

Taken into this comic, they turned that equation into the later things; this is impossible in real life, however, as just because you have something which you can extrapolate anything from, you can't actually extrapolate anything from it. (this is beginning to sound like the last comic...)

Qaanol
The Cheshirest Catamount
Posts: 3069
Joined: Sat May 09, 2009 11:55 pm UTC

### Re: "Principle of Explosion" Discussion

FishyFred wrote:I don't have anything close to the math expertise to understand the joke here. Can someone translate for the laypeople?

The statement P^¬P means "Statement P is true, and the negation of statement P is true." In particular, P represents some arbitrary logical statement which has a boolean value (true/false). The ^ symbol means AND. The ¬ symbol means NOT. So P^¬P can be read "P and not P", which is a false statement since there's no way P and its negation can both be true.

Furthermore, a statement of the form "If A then B" is only ever false when A is true and B is false. In particular, if A is false then the statement "If A then B" is true. Thus, if we write "If P^¬P then B" it doesn't matter what statement B is, the whole quoted statement is true.

An old anecdote, almost certainly apocryphal but foundhere, goes:

A story is told that the famous English mathematician G.H. Hardy made a remark at dinner that falsity implies anything. A guest asked him to prove that 2 + 2 = 5 implies that McTaggart is the Pope. Hardy replied, "We also know that 2 + 2 = 4, so that 5 = 4. Subtracting 3 we get 2 = 1. McTaggart and the Pope are two, hence McTaggart and the Pope are one."

The joke in the comic stems from the fact that, in formal logic, the statement "If P^¬P then X is your mom's phone number" is true for any value of X.
Last edited by Qaanol on Fri Feb 19, 2010 5:33 am UTC, edited 2 times in total.
wee free kings

Omegaton
Posts: 700
Joined: Sun Apr 19, 2009 6:23 pm UTC

### Re: "Principle of Explosion" Discussion

The Principle of Explosion is exploding my head.

VHBT
Posts: 50
Joined: Fri Mar 28, 2008 8:18 pm UTC

### Re: "Principle of Explosion" Discussion

For those who don't understand, the expression "P ^ ~P" translates to "P and not P" ("not P" being the logical contradiction of "P"). The principle of explosion refers to the idea that, if you assume that one false statement is true, you can derive any other false statement.
The comic's joke requires that "any other false statement" be replaced by the word "anything." The second character then misinterprets the word "anything" (quite successfully, as it turns out).

My guess is that he actually looked up the phone number at some other point in time and was saving it for something like this.

Nihiltres
Posts: 23
Joined: Mon Oct 13, 2008 3:39 pm UTC

### Re: "Principle of Explosion" Discussion

Omegaton wrote:The Principle of Explosion is exploding my head.

Damn it, I just came back to say 'More like "Principle of Head Explosion", eh?' but I've been beat to it. :p

SocialSceneRepairman
Posts: 199
Joined: Sat May 24, 2008 4:17 am UTC

### Re: "Principle of Explosion" Discussion

FishyFred wrote:I don't have anything close to the math expertise to understand the joke here. Can someone translate for the laypeople?

It's really pretty simple. If you can come up with a coherent statement, no matter how blatantly false, in a formal discourse, you can prove it, rigorously, by starting from any coherent statement and its opposite.

The joke is that this doesn't allow you to divine specific knowledge, much less true knowledge, it just lets you get to absurd conclusions, but the guy seized on an alternate sense of "derive."

Turing Machine
Posts: 98
Joined: Fri Feb 19, 2010 5:48 am UTC

### Re: "Principle of Explosion" Discussion

chocolate.razorblades wrote:Two comics in a row alluding to logic...I wonder what Randall's doing. It's a kind of "get out of my head" moment

Same thing here! But I've been reading An Introduction to Non-Classical Logic, so I'm coming at it from a different perspective...

First degree entailment does not suffer from explosion! Just throwing that out there. I guess I should also throw out there that whether "if...then..." is represented accurately by the material conditional is an object of some debate.

I seriously had to register just to say this, logic in xkcd :wub:

dennisw
Posts: 441
Joined: Wed Nov 05, 2008 9:09 am UTC
Location: Appearing pro se AND pro bono!
Contact:

### Re: "Principle of Explosion" Discussion

It's funny because it's true.
Try the Printifier for xkcd. You can now scale the comic between 50 and 150%.

I find these very useful: Common Errors in English Usage (web site) and Eats, Shoots & Leaves (book). You may, too.

e pluribus unum

notzeb
Without Warning
Posts: 629
Joined: Thu Mar 08, 2007 5:44 am UTC
Location: a series of tubes

### Re: "Principle of Explosion" Discussion

I imagine the derivation went something like this:

Code: Select all

Assume P ^ ~P.- Then 7+2 = 9, and 72/9 = 8.- Now assume for contradiction that Mrs. Lenhart's phone number is not 978-448-6872.-- But then P ^ ~P, contradiction!- Thus Mrs. Lenhart's phone number must be 978-448-6872.
Zµ«V­jÕ«ZµjÖ­Zµ«VµjÕ­ZµkV­ZÕ«VµjÖ­Zµ«V­jÕ«ZµjÖ­ZÕ«VµjÕ­ZµkV­ZÕ«VµjÖ­Zµ«V­jÕ«ZµjÖ­ZÕ«VµjÕ­ZµkV­ZÕ«ZµjÖ­Zµ«V­jÕ«ZµjÖ­ZÕ«VµjÕ­Z

Eternal Density
Posts: 5590
Joined: Thu Oct 02, 2008 12:37 am UTC
Contact:

### Re: "Principle of Explosion" Discussion

Right, I was just thinking that today would not be complete without yet another your-mom joke...
Play the game of Time! castle.chirpingmustard.com Hotdog Vending Supplier But what is this?
In the Marvel vs. DC film-making war, we're all winners.

LuNatic
Posts: 973
Joined: Thu Nov 20, 2008 4:21 am UTC
Location: The land of Aus

### Re: "Principle of Explosion" Discussion

I thought the principle of explosion is what occurs when you put Jamie and Adam in a shed together?

Hmmm...

X = ( B * ( √ ( T - W - R ))) / 10

where
X = Probability of explosion
B = Budget of project
T = Cumulative time spent in shed by Adam and Jamie
W = Time wasted by Adam on silliness
R = Time wasted by Jamie reprimanding Adam for silliness
Cynical Idealist wrote:
Velict wrote:Good Jehova, there are cheesegraters on the blagotube!

This is, for some reason, one of the funniest things I've read today.

nathanmlevesque
Posts: 2
Joined: Tue Feb 16, 2010 6:25 am UTC

### Re: "Principle of Explosion" Discussion

I like how this is situational, the phrasing 'and derive anything' is something you could expect to hear. And the joke is about taking that literally such that it applies to anything, which of course it doesn't. And then I check the forum's and everyone's hung up on the math. Really unnecessary to understanding and appreciated the comic.

dunedain
Posts: 5
Joined: Fri Feb 19, 2010 6:53 am UTC

### Re: "Principle of Explosion" Discussion

Has anyone here ever heard of Curry's Paradox? It's a personal favorite way to use explosion to get crazy results. It runs something like this (as a semi-formal proof):

Statement A: If statement A is true then I am the King of Spain.

1. assume statement A is true
2. then I am the King of Spain. (from 1 and A)
3. so, if statement A is true then I am the King of Spain. (from 1 and 2)
4. We just proved 3, which is a restatement of A, so A is true. Consequently I am the King of Spain!

The cool thing is that it really is deductively valid, and it can be really tough to figure out what's wrong with it. Just thought I'd share (this seems like a place where I won't be the only one who knows a little formal logic).

Cipherz
Posts: 3
Joined: Thu Jan 07, 2010 6:22 am UTC

### Re: "Principle of Explosion" Discussion

Can someone derive the mega million lottery numbers for me plz? I'll share some I promise.

Red Hal
Magically Delicious
Posts: 1445
Joined: Wed Nov 28, 2007 2:42 pm UTC

### Re: "Principle of Explosion" Discussion

LuNatic wrote:I thought the principle of explosion is what occurs when you put Jamie and Adam in a shed together?

Hmmm...

X = ( B * ( √ ( T - W - R ))) / 10

where
X = Probability of explosion
B = Budget of project
T = Cumulative time spent in shed by Adam and Jamie
W = Time wasted by Adam on silliness
R = Time wasted by Jamie reprimanding Adam for silliness
That could lead to probabilities greater than one, still funny though.
Lost Greatest Silent Baby X Y Z. "There is no one who loves pain itself, who seeks after it and wants to have it, simply because it is pain..."

merime
Posts: 3
Joined: Wed Jul 29, 2009 2:16 pm UTC

### Re: "Principle of Explosion" Discussion

phlip
Restorer of Worlds
Posts: 7573
Joined: Sat Sep 23, 2006 3:56 am UTC
Location: Australia
Contact:

### Re: "Principle of Explosion" Discussion

Cipherz wrote:Can someone derive the mega million lottery numbers for me plz? I'll share some I promise.

If [imath]P \land \lnot P[/imath] then the lotto numbers will be 4, 19, 23, 194[imath]\pi[/imath], the fine structure constant, and Birmingham.

You can thank me later.

Code: Select all

enum ಠ_ಠ {°□°╰=1, °Д°╰, ಠ益ಠ╰};void ┻━┻︵​╰(ಠ_ಠ ⚠) {exit((int)⚠);}
[he/him/his]

ijuin
Posts: 1152
Joined: Fri Jan 09, 2009 6:02 pm UTC

### Re: "Principle of Explosion" Discussion

Red Hal wrote:
LuNatic wrote:I thought the principle of explosion is what occurs when you put Jamie and Adam in a shed together?

Hmmm...

X = ( B * ( √ ( T - W - R ))) / 10

where
X = Probability of explosion
B = Budget of project
T = Cumulative time spent in shed by Adam and Jamie
W = Time wasted by Adam on silliness
R = Time wasted by Jamie reprimanding Adam for silliness
That could lead to probabilities greater than one, still funny though.

If the probability is greater then one, then that means you can get multiple explosions!

'; DROP DATABASE;--
Posts: 3284
Joined: Thu Nov 22, 2007 9:38 am UTC
Location: Midwest Alberta, where it's STILL snowy
Contact:

### Re: "Principle of Explosion" Discussion

Why is it that only now that I'm taking a class on boolean logic, where I recently saw most of these symbols and terms for the first time ever (despite being familiar with the concepts from coding), do I start to see all sorts of comics and jokes using it? O.o It's like "Randall get out of my head", but instead of Randall, it's Randall and a bunch of random people.

I must have seen like 4 comics/puns using this stuff since I started taking this class, and none before... and I'm not the kind to simply forget I ever saw it because i didn't get it at the time. Hmm.
poxic wrote:You suck. And simultaneously rock. I think you've invented a new state of being.

phillipsjk
Posts: 1213
Joined: Wed Nov 05, 2008 4:09 pm UTC
Contact:

### Re: "Principle of Explosion" Discussion

Is Mr. Munroe making fun of the discussion the last comic generated?

phlip wrote:
Cipherz wrote:Can someone derive the mega million lottery numbers for me plz? I'll share some I promise.

If [imath]P \land \lnot P[/imath] then the lotto numbers will be 4, 19, 23, 194[imath]\pi[/imath], the fine structure constant, and Birmingham.

You can thank me later.

That's funny, I got: 14-35-45-55-56 Mega ball: 13
I could be wrong because all the numbers were equally valid each time. I drew 55 twice (rejected the second one). I even have some entropy left over: 0b26891273f (I took the md5 hash of a "news site" and used Round(12 bit chunks/FFF*3716)+1)

Edit: I also realized I don't know which drawing that is. Deriving that from the remaining entropy is an exercise left to the reader.

Edit: All that work avoiding an off-by-1 error, an I made an off by 0.5 error. To chose a random number between 1 and 56, based on a random number from 0 to 1, you would use: Ceiling(55*(Random#))+1) or (Floor(55*(Random#))+2). Except, in typing this, I noticed that those are not equivalent in the case the random number is equal to 0 or 1. Maybe I should ask in the Computing Science forum. In the above formula I can guarantee that 0 an 1 don't happen by doing: (12bit chunks +1)/100116
Last edited by phillipsjk on Sat Feb 20, 2010 7:14 am UTC, edited 1 time in total.
Did you get the number on that truck?

Quicksilver
Posts: 437
Joined: Wed Apr 29, 2009 6:21 am UTC

### Re: "Principle of Explosion" Discussion

I've done Computational Mathematics, so I love these kinds of jokes. but that's not a tautology, so the inference is invalid.
Proof:
P ^ ¬p
1 0 01
0 0 10

Arancaytar
Posts: 1642
Joined: Thu Mar 15, 2007 12:54 am UTC
Location: 52.44°N, 13.55°E
Contact:

### Re: "Principle of Explosion" Discussion

I've never seen mathematical logic drawn into a Your-Mom joke before. Thank you, Randall!
"You cannot dual-wield the sharks. One is enough." -Our DM.

akirjazi
Posts: 36
Joined: Wed Feb 20, 2008 1:04 pm UTC
Location: Macedonia
Contact:

### Re: "Principle of Explosion" Discussion

Cipherz wrote:Can someone derive the mega million lottery numbers for me plz? I'll share some I promise.

I would but the margin of this page is too small to contain the derivation.

littlelj
Posts: 140
Joined: Wed Feb 18, 2009 10:40 am UTC

### Re: "Principle of Explosion" Discussion

Qaanol wrote:
FishyFred wrote:I don't have anything close to the math expertise to understand the joke here. Can someone translate for the laypeople?

The statement P^¬P means "Statement P is true, and the negation of statement P is true." In particular, P represents some arbitrary logical statement which has a boolean value (true/false). The ^ symbol means AND. The ¬ symbol means NOT. So P^¬P can be read "P and not P", which is a false statement since there's no way P and its negation can both be true.

Furthermore, a statement of the form "If A then B" is only ever false when A is true and B is false. In particular, if A is false then the statement "If A then B" is true. Thus, if we write "If P^¬P then B" it doesn't matter what statement B is, the whole quoted statement is true.

<funny anecdote>

The joke in the comic stems from the fact that, in formal logic, the statement "If P^¬P then X is your mom's phone number" is true for any value of X.

*applause* Excellent explanation for those of us whose logic is a bit ... rusty.

Liked this comic lots. Math(s) + "your mom" joke = Classic XKCD. Win!
Dudes, I'm a woman.

JurPic
Posts: 9
Joined: Fri May 30, 2008 9:46 am UTC

### Re: "Principle of Explosion" Discussion

Oh I do so love Logic/Mathematics in my comics!
This one was great.

rocketrat
Posts: 77
Joined: Wed Dec 10, 2008 7:05 am UTC

### Re: "Principle of Explosion" Discussion

What's with this Mrs Lenhart anyway? Scantron, Zealous Autoconfig, the one with Randall teaching about raptors, and now this.

She could be an actual person.

Also, I was burned by cheese, even though I wasn't exactly sure what the equation was, and hadn't heard the term "Principle of Explosion" before. I prefer the Mythbusters definition, though having Adam wasting time on silly stuff often also produces explosions.

JeromeWest
Posts: 46
Joined: Wed Oct 21, 2009 9:47 am UTC

### Re: "Principle of Explosion" Discussion

Qaanol wrote:Furthermore, a statement of the form "If A then B" is only ever false when A is true and B is false. In particular, if A is false then the statement "If A then B" is true.

I'm still lost. I don't see how A being false makes the statement "If A then B" automatically true. Doesn't it just mean that we don't know if the statement is true or not? Sort of like this: -

Code: Select all

A       B     if A then Btrue   true   truetrue   false  falsefalse  true   unknownfalse  false  unknown

Help out a formal logic noob here, and point out the flaw in my thinking.

DT_
Posts: 44
Joined: Mon Feb 01, 2010 4:41 am UTC

### Re: "Principle of Explosion" Discussion

I'm still lost. I don't see how A being false makes the statement "If A then B" automatically true. Doesn't it just mean that we don't know if the statement is true or not? Sort of like this: -

"If A then B" or "A implies B" means that B must be true if A is true, but we place no restriction on B if A is not true. So if A is false, then what is unknown is the value of B (it could be either true or false), but the value of "if A then b" is true.

DanielZKlein
Posts: 12
Joined: Mon Oct 08, 2007 12:22 pm UTC

### Re: "Principle of Explosion" Discussion

To P and not to P!

phlip
Restorer of Worlds
Posts: 7573
Joined: Sat Sep 23, 2006 3:56 am UTC
Location: Australia
Contact:

### Re: "Principle of Explosion" Discussion

JeromeWest wrote:I'm still lost. I don't see how A being false makes the statement "If A then B" automatically true.

It's called "material implication", and the truth table looks more like:

Code: Select all

A       B     if A then Btrue   true   truetrue   false  falsefalse  true   truefalse  false  true

It makes a bit more sense if you talk in the sense of "All things that have property A also have property B"... [imath]\forall x : Ax \to Bx[/imath]
The only way you could prove this statement wrong would be to find a thing that had property A, but didn't have property B... this would be the only thing that would make the implication false. For all other combinations (things with both properties, things with neither, and things with just property B not not property A), the implication must be true.

There's also the old chestnut: "If I told you 'If it rains tomorrow, I'll wear a raincoat', and then it doesn't rain, would you call me a liar?"

A implication where the antecedant is never true (for instance, to use my pattern from two sentences ago, "All things that are both on fire and not on fire also have property B") is still true... there's still no counterexample (find me an object that's both on fire and not on fire but doesn't have property B). It's sometimes called a "vacuous truth"... but it's still truth.
Last edited by phlip on Fri Feb 19, 2010 11:11 am UTC, edited 1 time in total.

Code: Select all

enum ಠ_ಠ {°□°╰=1, °Д°╰, ಠ益ಠ╰};void ┻━┻︵​╰(ಠ_ಠ ⚠) {exit((int)⚠);}
[he/him/his]

JeromeWest
Posts: 46
Joined: Wed Oct 21, 2009 9:47 am UTC

### Re: "Principle of Explosion" Discussion

DT_ wrote:"If A then B" or "A implies B" means that B must be true if A is true, but we place no restriction on B if A is not true. So if A is false, then what is unknown is the value of B (it could be either true or false), but the value of "if A then b" is true.

But if A is false then where is the evidence of whether "If A then B" is true or false? Regardless of whether B is true or false, we have no information to help us decide whether "If A then B" is true.

In other words, if someone tells me "A implies B", and I say "fair enough, but look - A is false". They say "but if A was true, B would be true too!", to which I reply "maybe so, but perhaps if A was true B would be false - since A is false, it's impossible to tell".

phlip
Restorer of Worlds
Posts: 7573
Joined: Sat Sep 23, 2006 3:56 am UTC
Location: Australia
Contact:

### Re: "Principle of Explosion" Discussion

JeromeWest wrote:They say "but if A was true, B would be true too!",

To which I would say "that's irrelevant, whether it's true or not... if the truth value of A changes, then naturally the truth value of any statement involving A (such as 'if A then B') may also change."

The statement "if A then B" is not a statement about the fundamental structure of the universe... it's a statement about A and B. You're confusing it with "For all states the universe could be in, if A was true then B would be true"... an altogether different statement.
Last edited by phlip on Fri Feb 19, 2010 11:15 am UTC, edited 1 time in total.

Code: Select all

enum ಠ_ಠ {°□°╰=1, °Д°╰, ಠ益ಠ╰};void ┻━┻︵​╰(ಠ_ಠ ⚠) {exit((int)⚠);}
[he/him/his]