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

visualizing in mathematics 41Euclid, Elements, publishedasEuclid’s Elements: all Thirteen Books Complete in OneVolume Heath T. (trans.), D. Densmore (ed.) (Santa Fe: Green Lion Press).Fomenko, Anatolij(1994), Visual Geometry and Topology, M. Tsaplina (trans.) (NewYork: Springer-Verlag).Giaquinto, Marcus(1992), ‘Visualizing as a means of geometrical discovery’, Mind &Language, 7, 382–401.(1993a), ‘Diagrams: Socrates and Meno’s slave’, International Journal of PhilosophicalStudies, 1, 81–97.(1993b), ‘Visualizing in arithmetic’, Philosophy and Phenomenological Research, 53,385–396.(1994), ‘Epistemology of visual thinking in elementary real analysis’, British Journalfor the Philosophy of Science, 45, 789–813.(2005), ‘From symmetry perception to basic geometry’, in P. Mancosu,K. Jørgensen, and S. Pedersen (eds.), Visualization, Explanation and Reasoning Stylesin Mathematics (New York: Springer-Verlag).Grialou, Pierre, Longo, Giuseppe, and Okada, Mitsuhiro (2005), Images and Reasoning(Tokyo: Keio University Press).Grosholz, Emily (2005), ‘Constructive ambiguity in mathematical reasoning’, inD. Gillies and D. Cellucci (eds.), Mathematical Reasoning and Heuristics (London:King’s College Publications).Hilbert, David (1894), ‘Die Grundlagen der Geometrie’, in M. Hallett and U. Majer(eds.), David Hilbert’s Lectures on the Foundations of Geometry (Berlin: Springer-Verlag).Hoffman, David (1987), ‘The computer-aided discovery of new embedded minimalsurfaces’, Mathematical Intelligencer, 9, 8–21.Jamnik,Mateja(2001), Mathematical Reasoning with Diagrams: From Intuition to Automation(Stanford: CSLI Publications).Joyal, André, Street, Ross, and Verity, Dominic (1996), ‘Traced monoidal categories’,Mathematical Proceedings of the Cambridge Philosophical Society, 119(3),447–468.Kant, Immanuel (1781/9), Kritik der reinen Vernunft, P. Guyer and A. Wood (trans. &eds.), (Cambridge: Cambridge University Press (1998)).Landau, Edmund (1934), Differential and Integral Calculus, M.HausnerandM.Davis(trans.) (New York: Chelsea (1950)).Lauda, Aaron(2005), ‘Frobenius algebras and planar open string topological fieldtheories’, .Leinster, Tom(2004), ‘Operads in higher-dimensional category theory’, Theory andApplications of Categories, 12(3), 73–194.Lyusternik, Lazar (1963), Convex Figures and Polyhedra, T. Smith (trans.) (New York:Dover).Mancosu,Paolo(2000), ‘On mathematical explanation’, in E. Grosholz and H. Breger(eds.), Growth of Mathematical Knowledge (Dordrecht: Kluwer Academic Publishers).(2001), ‘Mathematical explanation: problems and prospects’, Topoi, 20, 97–117.