“had explicitly been concerned to treat mathematics as if it were a chess game, without asking for a connection with the world. That question was, as it were, always left for someone else to tackle.”