Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century