Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks

Morten Misfeldt; Uffe Thomas Jankvist

doi:10.1007/978-3-319-76575-4

Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks

Abstract

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.

Original language	English
Title of host publication	Uses of Technology in Primary and Secondary Mathematics Education
Editors	Lynda Ball, Paul Drijvers, Silke Ladel, Hans-Stefan Siller, Michal Tabach, Colleen Vale
Number of pages	11
Place of Publication	Germany
Publisher	Springer VS
Publication date	2018
Pages	375-385
ISBN (Print)	978-3-319-76574-7
DOIs	https://doi.org/10.1007/978-3-319-76575-4
Publication status	Published - 2018
Externally published	Yes

Keywords

proof
computer algebra system
instrumental genesis

Access to Document

10.1007/978-3-319-76575-4

Cite this

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

@inbook{61a988dd444547bca2142cd21e81af98,

title = "Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks",

abstract = "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.",

keywords = "proof, computer algebra system, instrumental genesis",

author = "Morten Misfeldt and {Thomas Jankvist}, Uffe",

year = "2018",

doi = "10.1007/978-3-319-76575-4",

language = "English",

isbn = "978-3-319-76574-7",

pages = "375--385",

editor = "Lynda Ball and Paul Drijvers and Silke Ladel and Hans-Stefan Siller and Michal Tabach and Colleen Vale",

booktitle = "Uses of Technology in Primary and Secondary Mathematics Education",

publisher = "Springer VS",

}

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 -