5/13/2011

logic humor

If you like logic humor, then have a look at this, which I just saw on Lambda the Ultimate.

If you don't like logic humor, then... enjoy being a normal human being.

2 Comments:

At 14/5/11, Blogger Colin Caret said...

There is a similar joke in Bob Meyer's 1971 paper 'Entailment' which he calls 'the calculus of pure irrelevance'. He runs an argument:

1) Everybody's intuitions are linguistic prejudices.
2) Lewis's intuitions are proofs.
Therefore, 3) the owl, for all his feathers, was a-cold.

In the calculus of pure irrelevance you can prove the conclusion directly thus, as he puts, 'ending reliance on intuition once an for all'. It's a funny paper well worth a read.

 
At 15/5/11, Anonymous knb said...

wow... another level of humor. cool!
kindly visit me back & support

 

Post a Comment

Links to this post:

Create a Link

<< Home