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:

Colin 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.

knb said...

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