Abstract
The role and use of diagrams in mathematical research has recently attracted increasing attention within the philosophy of mathematics, leading to a number of in-depth case studies of how diagrams are used in mathematical practice. Though highly interesting, the study of diagrams still largely lack quantitative investigations which can provide vital background information regarding variations e.g. in the frequency or type of diagrams used in mathematics publication over time.
A first attempt at providing such quantitative background information has recently been conducted [9], making it clear that the manual labour required to identify and code diagrams constitutes a major limiting factor in large-scale investigations of diagram-use in mathematics.
In order to overcome this limiting factor, we have developed a machine learning tool that is able to identify and count mathematical diagrams in large corpora of mathematics texts. In this paper we report on our experiences with this first attempt to bring machine learning tools to the aid of philosophy of mathematics. We describe how we developed the tool, the choices we made along the way, and how reliable the tool is in identifying mathematical diagrams in corpora outside of its training set. On the basis of these experiences we discuss how machine learning tools can be used to inform philosophical discussions, and we provide some ideas to new and valuable research questions that these novel tools may help answer.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bardool, K., et al.: Keras-frcnn (2019). https://github.com/kbardool/keras-frcnn
Carter, J.: Diagrams and proofs in analysis. Int. Stud. Philos. Sci. 24(1), 1–14 (2010). https://doi.org/10.1080/02698590903467085
Carter, J.: Graph-algebras: faithful representations and mediating objects in mathematics. Endeavour 42(2–3), 180–188 (2018). https://doi.org/10.1016/j.endeavour.2018.07.006
De Toffoli, S.: ‘Chasing’ the diagram: the use of visualizations in algebraic reasoning. Rev. Symb. Log. 10(1), 158–186 (2017). https://doi.org/10.1017/S1755020316000277
De Toffoli, S., Giardino, V.: Forms and roles of diagrams in knot theory. Erkenntnis 79(4), 829–842 (2013). https://doi.org/10.1007/s10670-013-9568-7
Giaquinto, M.: Crossing curves: a limit to the use of diagrams in proofs. Philos. Math. 19(3), 281–307 (2011). https://doi.org/10.1093/philmat/nkr023
Girshick, R.: Fast R-CNN. In: International Conference on Computer Vision (ICCV), pp. 1440–1448 (2015)
Johansen, M.W., Misfeldt, M., Pallavicini, J.L.: A typology of mathematical diagrams. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds.) Diagrams 2018. LNCS (LNAI), vol. 10871, pp. 105–119. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91376-6_13
Johansen, M.W., Pallavicini, J.L.: Beyond the valley of formalism: trends and changes in mathematicians’ publication practices 1885–2015 (2020, manuscript)
Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11(1), 65–100 (1987). https://doi.org/10.1111/j.1551-6708.1987.tb00863.x
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Sørensen, H.K., Johansen, M.W. (2020). Counting Mathematical Diagrams with Machine Learning. In: Pietarinen, AV., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds) Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science(), vol 12169. Springer, Cham. https://doi.org/10.1007/978-3-030-54249-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-54249-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54248-1
Online ISBN: 978-3-030-54249-8
eBook Packages: Computer ScienceComputer Science (R0)