Seol mar théacs é seo: Philosophy and mathematics, from Plato to the present /