research!rsc

Thoughts and links about programming, by

RSS

Formal Logic Club
Posted on Monday, March 8, 2010.

I've been laughing at this for weeks. It's too good not to share.


The first rule of Formal Logic Club is you do not prove the consistency of Formal Logic Club.


The second rule of Formal Logic Club is you do not prove the inconsistency of Formal Logic Club.

James Grimmelmann


(Yes, this looks like http://xkcd.com/703/, but it beat xkcd to the punchline by ten years, and it's funnier.)


(Comments originally posted via Blogger.)

  • Mathieu (March 20, 2010 10:55 AM) on a similar note, there's also http://abstrusegoose.com/244

  • Ed (October 27, 2010 4:22 PM) That's the funniest thing I've seen on the web in awhile. Godel? Funny? Thanks for making my afternoon.

    Ed