PROCEEDINGS OF THE 18TH ANNUAL CONFERENCE ON RESEARCH IN UNDERGRADUATE MATHEMATICS EDUCATION
2015
Pittsburgh, Pennsylvania
A theoretical perspective for proof construction
Page: 946
This theoretical paper suggests a perspective for understanding undergraduate proof construction based on the ideas of conceptual and procedural knowledge, explicit and implicit learning, behavioral schemas, automaticity, working memory, consciousness, and System 1 and System 2 cognition. In particular, we will discuss proving actions, such as the construction of proof frameworks that could be automated, thereby reducing the burden on working memory and enabling university students to devote more resources to the truly hard parts of proofs.