historian of mathematics