Historian of mathematics