A Typology of Mathematical Diagrams

In this paper, we develop and discuss a classification scheme that allows us to distinguish between the types of diagrams used in mathematical research based on the cognitive support offered by diagrams. By cognitive support, we refer to the gain that research mathematicians get from using diagrams. This support transcends the specific mathematical topic and diagram type involved and arises from the cognitive strategies mathematicians tend to use. The overall goal of this classification scheme is to facilitate a large-scale quantitative investigation of the norms and values governing the publication style of mathematical research, as well as trends in the kinds of cognitive support used in mathematics. This paper, however, focuses only on the development of the classification scheme.

[1]  D. Stewart,et al.  About this journal. , 2008, Archives of internal medicine.

[2]  Keith Stenning,et al.  Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems , 2000, Diagrams.

[3]  Morten Misfeldt,et al.  Semiotic Scaffolding in Mathematics , 2015, Biosemiotics.

[4]  Mikkel Willum Johansen.  What’s in a Diagram? , 2014 .

[5]  A. Hatcher.  Higher simple homotopy theory , 1975 .

[6]  H. Gehman.  Concerning the Subsets of a Plane Continuous Curve , 1925 .

[7]  M. Morse,et al.  Topological Methods in the Theory of Functions of a Single Complex Variable I. Deformation Types of Locally Simple Plane Curves , 1945 .

[9]  Silvia de Toffoli,et al.  'Chasing' the Diagram - the Use of Visualizations in Algebraic Reasoning , 2017, Rev. Symb. Log..

[10]  Ralf Krömer,et al.  Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies) , 2007 .

[11]  Z. Sela.  The isomorphism problem for hyperbolic groups I , 1995 .

[12]  F. Stjernfelt.  Diagrammatology: An Investigation on the Borderlines of Phenomenology, Ontology, and Semiotics , 2007 .

[13]  Jean-Pierre Serre.  Faisceaux algébriques cohérents , 1955 .

[14]  R. Hersh.  Mathematics has a front and a back , 1991, Synthese.

[15]  G. Lakoff,et al.  Where mathematics comes from : how the embodied mind brings mathematics into being , 2002 .

[16]  Eric Livingston,et al.  Cultures of Proving , 1999 .

[17]  Marcus Giaquinto,et al.  Visual thinking in mathematics : an epistemological study , 2007 .

[18]  The role of diagram materiality in mathematics , 2018 .

[19]  Morten Misfeldt,et al.  An Empirical Approach to the Mathematical Values of Problem Choice and Argumentation , 2016 .

[20]  Tinne Hoff Kjeldsen,et al.  From measuring tool to geometrical object: Minkowski’s development of the concept of convex bodies , 2008 .

[21]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987 .

[22]  David Epstein.  In Memoriam Frederick J. Almgren Jr., 1933-1997 , 1997, Exp. Math..

[23]  William G. Faris.  Philosophy of Mathematics : An Introduction to the World of Proofs and Pictures , 2000 .