Conceptual Mathematics via Literate Programming
History and Overview
2022-03-30 v1 Programming Languages
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.
Keywords
Cite
@article{arxiv.2202.13771,
title = {Conceptual Mathematics via Literate Programming},
author = {Ian Benson and Jim Darby and Neil MacDonald and Jesse Sigal},
journal= {arXiv preprint arXiv:2202.13771},
year = {2022}
}
Comments
8 pages, 2 figures, under review by Mathematics Teaching, Association of Teachers of Mathematics (ATM)