Refine: + a mathematician's apology+ philosophy