? ?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Feb. 19th, 2004|11:15 pm]
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.

[User Picture]From: damion
2004-02-19 09:05 pm (UTC)
When I approached Doherty and realized that Book Guy was around, I got scared, because I had no cash, and Book Guy compels me. I dug $1.50 out of my pocket and managed to find a book on I Ching for precisely that much, getting me my fix.
(Reply) (Thread)
[User Picture]From: jcreed
2004-02-19 09:23 pm (UTC)


Book Guy 0wns j00!!1
(Reply) (Parent) (Thread)
[User Picture]From: papertygre
2004-02-21 09:20 am (UTC)
It's been a while since I read it, but I'd be pretty interested to hear your thoughts about the book.
(Reply) (Thread)