While this is somewhat off-topic, I found this interesting reference to a cartoon guide to Lob's Theorem, so I am forwarding it to this mailing list for some enjoyment in mathematical logic: On Mon, 18 Aug 2008 12:31:11 -0400, in gmane.lisp.scheme.plt Psy-Kosh <psykosh@earthlink.net> wrote:

This is a bit off topic, but I suspect some here would appreciate this: http://www.overcomingbias.com/2008/08/lobs-theorem.html

Remenicent of the graphical lambda game thing.

Psy-Kosh _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-scheme

-- Benjamin L. Russell