James Studd is the university lecturer in the philosophy of mathematics at Oxford.