Thomas Hawkins — American mathematician and historian of mathematics