Search arXivSearch

arXiv · 2603.27167

How Disciplinary Norms Influence Mathematicians' Views of Programming in Undergraduate Mathematics

Abstract

Programming is deeply embedded in contemporary mathematical practice, yet its epistemic status in university mathematics teaching remains contested. Little is known about how mathematicians themselves understand the legitimacy of programming in their professional work, and how these views shape their teaching. We address this gap through semi-structured interviews with 15 mathematicians at a Northern European university with over two decades of systematic integration of programming across STEM subjects. Drawing on Cultural-Historical Activity Theory and Communities of Practice, we examine how mathematicians articulate the role of programming across research and teaching. We identify four epistemic archetypes - classical pure, classical applied, computational applied, and computational pure - each expressing coherent norms governing legitimate use of programming. Across archetypes, light-touch programming (e.g., numerical exploration) was widely used in research but largely invisible in teaching, where legitimacy was tied to more "substantive" integration. We argue that this gap reflects epistemic continuity across practices combined with teaching's focus on established analytic outcomes, which reduces the epistemic visibility of computational work. Given how mathematicians articulate legitimate uses of programming, our findings suggest that integration is most widely accepted when substantive programming is taught in dedicated courses, while light epistemic use - such as numerical exploration - is used to support learning in traditional theoretical courses. More extensive computational work is generally viewed as fitting naturally within specialised numerical or computational mathematics courses.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jan-Fredrik Olsen, Tor Ole B Odden. 2026-03-28. How Disciplinary Norms Influence Mathematicians' Views of Programming in Undergraduate Mathematics. https://arxiv.org/abs/2603.27167

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the Reconstruction of SAS from Other Triangle Congruence Criteria, Part II: Eliminating the Pons Asinorum

In the first part of this work we showed that, within a Hilbert plane deprived of the Side-Angle-Side axiom, the Side-Angle-Angle criterion, together with a ray correspondence principle [\textbf{RCT}], the existence of angle bisectors [\textbf{AB}], the congruence of supplements of congruent angles [\textbf{SA}], and the Pons Asinorum [\textbf{PA}], suffices to reconstruct SAS. We left open the question of whether [\textbf{PA}] is genuinely required alongside the other three principles, noting only a qualitative asymmetry in the nature of the principles involved. In this second part we answer this question: we show that \begin{equation*} \textrm{SAA},\ [\textbf{RCT}],\ [\textbf{AB}] \;\vdash\; [\textbf{PA}], \end{equation*} so that [\textbf{PA}] is redundant among the hypotheses of our main theorem, which improves to \begin{equation*} \textrm{SAA},\ [\textbf{RCT}],\ [\textbf{AB}],\ [\textbf{SA}] \;\vdash\; \textrm{SAS}. \end{equation*} The proof adapts an argument recently given by Donnelly, who reconstructs SAS from SAA together with an angle addition axiom and the existence of angle bisectors.

math.HO

Descartes' Circle Theorem, Princess Elizabeth, and Spinors

In this article, on Descartes' famous "circle theorem," we first attempt to explain how the philosopher could have arrived at the equation that he presents without demonstration in a letter to Princess Palatine Elizabeth of Bohemia in November 1643 (a previously unpublished proof, to our knowledge). Then we report some stages of the subsequent generalization of this theorem, whose Cliffordian flavor, via the equivalence of a quadratic form and the square of a linear form, still mobilizes mathematicians today. This statement, which, over time, has undergone different extensions, Euclidean and non-Euclidean, has found, {\it in fine}, a spinor formalization. We see there the proof of what we may call, in a Bachelardian style, an "inductive value" of the truth, which extends by successive generalizations. We conclude, more briefly, with the contacts between Elizabeth and Descartes, and the perhaps symbolic meaning of these considerations on "kissing circles," as they are called in Anglo-Saxon countries, in the context of their correspondence on the soul and the body, and the question of passions.

math.HO

Mathematical folklore

We present reflections on an experimental seminar studying the human and cultural roots of modern mathematics.

math.HO