Ibn al-Haytham's Geometrical Methods and the Philosophy of Mathematics