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 <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
