Abstract
Translating an informal mathematical argument into a proof which conforms to the norms of the mathematical community in which it is situated is a non-trivial task. Here we discuss several types of products, other than the initial informal argument and its direct formalisation, which we observed students generating in a master’s level analysis course in the United States during their attempts to formalise a researcher-generated informal argument. We refer to these as formalisation artefacts and discuss the various roles they play relative to students’ attempts to formalise informal arguments.
Original language | English (US) |
---|---|
Pages (from-to) | 257-275 |
Number of pages | 19 |
Journal | Research in Mathematics Education |
Volume | 19 |
Issue number | 3 |
DOIs | |
State | Published - Sep 2 2017 |
Keywords
- Formalisation
- argument
- proof
- rewarranting
ASJC Scopus subject areas
- Education
- General Mathematics