The History of Mathematics: Aims, Results, and Future Prospects