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

Benjamin L.Russell DekuDekuplex at Yahoo.com
Tue Aug 19 03:03:43 EDT 2008

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:
>Remenicent of the graphical lambda game thing.
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

-- Benjamin L. Russell

More information about the Haskell-Cafe mailing list