Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Standard
Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. / Misfeldt, Morten; Thomas Jankvist, Uffe.
Uses of Technology in Primary and Secondary Mathematics Education. ed. / Lynda Ball; Paul Drijvers; Silke Ladel; Hans-Stefan Siller; Michal Tabach; Colleen Vale. Germany : Springer VS, 2018. p. 375-385.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - CHAP
T1 - Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks
AU - Misfeldt, Morten
AU - Thomas Jankvist, Uffe
PY - 2018
Y1 - 2018
N2 - In this chapter we investigate the role of Computer Algebra Systems (CAS) in textbook proofs. We describe two cases of CAS use in textbook proofs and use the instrumental approach, and in particular the distinction between epistemic and pragmatic mediations, to understand the consequences of the so-called CAS-assisted proofs. We end with a discussion of the experienced shortcomings of the instrumental approach in relation to CAS use in justification of mathematical results, and suggest the inclusion of alternative frameworks for filling the gap.
AB - In this chapter we investigate the role of Computer Algebra Systems (CAS) in textbook proofs. We describe two cases of CAS use in textbook proofs and use the instrumental approach, and in particular the distinction between epistemic and pragmatic mediations, to understand the consequences of the so-called CAS-assisted proofs. We end with a discussion of the experienced shortcomings of the instrumental approach in relation to CAS use in justification of mathematical results, and suggest the inclusion of alternative frameworks for filling the gap.
KW - proof
KW - computer algebra system
KW - instrumental genesis
U2 - 10.1007/978-3-319-76575-4
DO - 10.1007/978-3-319-76575-4
M3 - Book chapter
SN - 978-3-319-76574-7
SP - 375
EP - 385
BT - Uses of Technology in Primary and Secondary Mathematics Education
A2 - Ball, Lynda
A2 - Drijvers, Paul
A2 - Ladel, Silke
A2 - Siller, Hans-Stefan
A2 - Tabach, Michal
A2 - Vale, Colleen
PB - Springer VS
CY - Germany
ER -
ID: 228153139