2012-11-17 21:03:49+00:00 there aren't many dirty logicians: “Kleeneliness is next to Gödeliness” #mathsjam