NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ1160049
Record Type: Journal
Publication Date: 2017
Pages: 19
Abstractor: As Provided
ISSN: ISSN-1479-4802
The Roles of Formalisation Artefacts in Students' Formalisation Processes
Zazkis, Dov; Mills, Melissa
Research in Mathematics Education, v19 n3 p257-275 2017
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.
Routledge. Available from: Taylor & Francis, Ltd. 530 Walnut Street Suite 850, Philadelphia, PA 19106. Tel: 800-354-1420; Tel: 215-625-8900; Fax: 215-207-0050; Web site:
Publication Type: Journal Articles; Reports - Research
Education Level: Higher Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A