What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews
Bibliographic Data
| ID | 14526356 |
|---|---|
| Authors | Henrik Kragh Sørensen (0000-0002-7495-4697, University of Copenhagen, corresponding author), Sophie Kjeldbjerg Mathiasen, Mikkel Willum Johansen (0000-0003-0454-2678, University of Copenhagen) |
| Year | 2024 |
| Volume | 203 |
| Issue | 2 |
| Publication date | 2024-01-30 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-023-04475-x |
| OpenAlex | W4391353447 |
| Language | EN |
| References cited | 13 |
From a purely formalist viewpoint on the philosophy of mathematics, experiments cannot (and should not) play a role in warranting mathematical statements but must be confined to heuristics. Yet, due to the incorporation of new mathematical methods such as computer-assisted experimentation in mathematical practice, experiments are now conducted and used in a much broader range of epistemic practices such as concept formation, validation, and communication. In this article, we combine corpus studies and qualitative analyses to assess and categorize the epistemic roles experiments are seen—by mathematicians—to have in actual mathematical practice. We do so by text-mining a corpus of reviews from the Mathematical Reviews , which include the indicator word “experiment”. Our qualitative, grounded classification of samples from this corpus allows us to explore the various roles played by experiments. We thus identify instances where experiments function as references to established knowledge, as tools for heuristics or exploration, as epistemic warrants, as communication or pedagogy, and instances simply proposing experiments. Focusing on the role of experiments as epistemic warrants, we show through additional sampling that in some fields of mathematics, experiments can warrant theorems as well as methods. We also show that the expressed lack of experiments by reviewers suggests concordant views that experiments could have provided epistemic warrants. Thus, our combination of corpus studies and qualitative analyses has added a typology of roles of experiments in mathematical practice and shown that experiments can and do play roles as epistemic warrants depending on the mathematical field
Categorization · Data science · Epistemology · Function (biology) · Heuristics · Management science · Mathematical practice · Metaphysics · Philosophy of language · Philosophy of science · Sociology · Typology · Warrant · Artificial Intelligence · Computer Science · Mathematics Education and Teaching Techniques · Philosophy · Philosophy and History of Science · Statistics Education and Methodologies
| Highly cited | No |
|---|