I mean, I like puns but they're a flash in the pan. Jokes get old after a while and you don't want to embed them in something fairly permanent like a building name.
replyThis particular word for the oldest profession goes back to Old English. I am fairly sure it would outlive the building.
replyIf the problem is when the joke lives on amusing undergrads long after you've tired of it, that just makes it worse.
reply"Surely you've all heard of the Hoare house on campus?" seems like a pretty timeless way to a) keep people from dozing off during that bit of lecture b) cause a whole bunch of people to remember who this guy was and what he did.
reply"Hoare House" would trigger millions of idiots, from rude little children to pontifying alpha ideologues. In perpetuity.
replyThe University was correct in saying "nope" to the endless distractions, misery, and overhead of having to deal with that.