[Haskell-cafe] (fwd) OT: Cartoon Guide to Lob's Theorem

[Benjamin L.Russell]

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 at 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