|
[Feb. 19th, 2004|11:15 pm]
Jason
|
Spent a lot of time TeXing up cut elimination cases for the thing that spawned from tom7's idea. It really seems to be a sensible thing so far, although I don't know what it says, if anything, about the connection between intuitionistic and classical connectives that are conventionally understood to correspond to one another.
Went by Book Guy, browsed around, saw some art books. Ratha had raved about "Drawing on the Right Side of the Brain" yesterday, and so I looked around for it idly, not at all expecting to find it. Just at the very point of giving up, however, its title popped out at me from an otherwise unassuming paperback spine. $6.50 later I started reading it over dinner. Good stuff.
Now I am realizing that trying to hack up a little dynamic programming algorithm is just too taxing for my 11:30pm brain. |
|
