Conceptual Mathematics via Literate Programming

Ian Benson,Jim Darby,Neil MacDonald,Jesse Sigal
DOI: https://doi.org/10.48550/arXiv.2202.13771
2022-02-22
History and Overview
Abstract:Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathematics. The article describes a collaboration of mathematics and computer science teachers to solve the Josephus problem. We demonstrate how a programming approach based on both types and functions can make a vastly improved contribution to learning mathematics than the less successful use of conventional computer programming in Scratch.
What problem does this paper attempt to address?