Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

diagram-based geometric practice 79Netz, Revel (1999), The Shaping of Deduction in Greek Mathematics (Cambridge:Cambrige University Press).Norman, Jesse (2006), After Euclid (Stanford: CSLI).Poncelet, JeanVictor(1822), Traité desPropriétés Projectives des Figures, 2nd edn (1865).(1862/1864), Applications d’Analyse et de Géométrie (Paris).Proclus (anc.), A Commentary on the First Book of Euclid’s Elements, G. R. Morrow(trans.), 1970, (Princeton: Princeton University Press).Saccheri,Gerolamo(1733), Eublides Ab Omni Naevo Vidicatus..., George Bruce Halsted(ed. and trans.), 1920, (London: Open Court). Chelsea Reprint, 1986.Shabell, Lisa(2003), Mathematics in Kant’s Critical Philosophy, Studies in Philosophy:Outstanding Dissertations Series, Robert Nozick (ed.) (London: Routledge).Sorensen, Henrik Kragh (2005), ‘Exception and Counterexamples: UnderstandingAbel’s Comment on Cauchy’s Theorem’, Historia Mathematica, 32, 453–480.Tarski, Alfred(1959), ‘What is Elementary Geometry?’, in L. Henkin, P. Suppes, andA. Tarski (eds.), The Axiomatic Method, 16–29 (Amsterdam: North-Holland).Vitrac, Bernard(2004), ‘A Propos des Démonstrations Alternatives et Autres Substitutionsde Preuves dans les Eléments d’Euclide’, Arch. Hist. Exact Sci., 59,1–44.