Sunday, December 10, 2006
There used to be a door at MIT labeled Department of Alchemy. Maybe it's still there. It was (I think) a joke, but Stanford has an apparently real Metaphysics Research Lab. It appears to have something to do with automated theorem proving and the existence of abstract objects, something I've speculated about in the past in the context of religion. I seriously doubt whether formal logic techniques can have anything interesting to say about metaphysics, but I also have to acknowledge that I may just be too ignorant to appreciate the depth of ideas here.