Pātuhitia tēnei: Philosophy and mathematics, from Plato to the present /