The roles of formalisation artefacts in students’ formalisation processes

Dov Zazkis, Melissa Mills

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)257-275
Number of pages19
JournalResearch in Mathematics Education
Volume19
Issue number3
DOIs
StatePublished - Sep 2 2017

    Fingerprint

Keywords

  • Formalisation
  • argument
  • proof
  • rewarranting

ASJC Scopus subject areas

  • Education
  • Mathematics(all)

Cite this