DH4PMP: Digital Humanities for Philosophy of Mathematical Practice

Project

This project aims to research and develop ways for machine learning and big data digital humanities to assist in posing and answering philosophically interesting questions about mathematical research practice.

The project is led by professor Henrik Kragh Sørensen, Section for History and Philosophy of Science, Department of Science Education, University of Copenhagen. It includes collaborations with colleagues and students at DSE as well as international partners.

Subprojects

We are actively pursuing subprojects on:

Theoretical and methodological aspects of using digital humanities to do philosophy of mathematical practice,
Detection and classification of diagrams,
Mapping of mathematical retractions,
Text-mining mathematical reviews, and
Text- and structure mining mathematical papers in the arXiv.

Group

We encourage friendly collaboration with colleagues, partners from abroad and students.

Henrik Kragh Sørensen, PI, professor, DSE
Mikkel Willum Johansen, associate professor, DSE
Sophie Kjeldbjerg Mathiasen, MSc student, DSE/MATH
Anton Kristian Suhr, MSc student, DSE/MATH
Josefine Pallavicini, research assistant, DSE
Laura Søvsø Thomasen, Royal Danish Library

Collaborators

We collaborate on international, interdisciplinary projects.

Hester Breman (Maastricht) and Renee Hoekzema (Oxford) on visual thinking in mathematics

Software

Most of our code is written in python, and we rely on a set of key libraries for LaTeX and XML parsing, NLP, neural networks, statistical analysis, documentation etc.

Upcoming events

Our paper has been accepted for presentation at the MATH-AI: The Role of Mathematical Reasoning in General Artificial Intelligence conference to be held online on May 8, 2021.

Breman, Hester, Renee Hoekzema, Mikkel Willum Johansen, and Henrik Kragh Sørensen. 2021. “Augmenting the Human Mathematician.”
We intend to present at the APMP conference (online, June 30-July 3, 2021)
At the Mathematical Cultures & Practices XI (online, July 10-12, 2021), Henrik Kragh Sørensen will be presenting on Thinking practices—printing practices: On diagrams in 20th-century mathematical culture(s).
We intend to present at the Diagrams 2021 conference (online, September 28-30, 2021)

Recent publications

Sørensen, Henrik Kragh, and Mikkel Willum Johansen. 2020. “Counting Mathematical Diagrams with Machine Learning.” In Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, edited by Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, and Sven Linker, 26–33. Lecture Notes in Computer Science (LNAI) 12169. Springer. https://doi.org/10.1007/978-3-030-54249-8_3.