>philosophy and computer science aren't as unrelated as one might think;

There is some interesting category theory and set theory being done in philosophy departments.