Mathematical history, philosophy and education