PROCEEDINGS OF THE 18TH ANNUAL CONFERENCE ON RESEARCH IN UNDERGRADUATE MATHEMATICS EDUCATION
2015
Pittsburgh, Pennsylvania
Meritorious Citation: A perspective for university students’ proof construction
Page: 45
This theoretical paper suggests a perspective for understanding university students’ proof construction. It is based on the ideas of conceptual and procedural knowledge, explicit and implicit learning, cognitive feelings and beliefs, behavioral schemas, automaticity, working memory, consciousness, and System 1 and System 2 cognition. In particular, we 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.