Right. Grandy sounds quite sensible. Probably a fun course to have taken.
Having taken a course very similar to the one Grandy describes, I am leary of taking any course in mathematics taught by the Philosophy Department. It was the worst course I ever took. Perhaps his course is the exception....