Thursday, January 31, 2008

One of my favorite lines in cinema is from Who Framed Roger Rabbit:
Eddie Valiant: You mean to tell me you coulda taken your hand outta that cuff at any time?
Roger Rabbit: Well, no, not any time. Only when it was funny.
I realized that you can formalize the statement thusly:

Let p=hand out of cuff, q= it was funny
Then: ◇p iff q

It is a very powerful formulation. Roger says by extension that if ㄱq → ㄱp. It is only because something is funny that renders it possible! Wise words from an animated rabbit.

1 comment:

Yehuda said...

Note that Roger Rabbit's statment is funny; the idea of formalizing such a statement is funny; the actual formalization is not.