Logblog: Richard Zach's Logic Blog
University of Calgary
UofC Navigation
Caturday
This website has moved!
You are looking at an archived page. The website has moved to richardzach.org.
Submitted by Richard Zach on Sat, 05/19/2007 - 9:09am
Since it's Caturday, I thought I'd make a proof theory lolcat.
- Richard Zach's blog
- Log in to post comments
Search
Old Blog Posts
- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"
Comments
Brilliant! I'm considering presenting my next talk slideshow in lolcat form, instead of boring pictures of boring philosophers in the slideshow. (Photos of Carnap just aren't that interesting, even if it are his birfday.)
That picture should make its way into the JSL.
So cute and so smart!