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.

Originalsprog	Engelsk
Titel	Uses of Technology in Primary and Secondary Mathematics Education
Redaktører	Lynda Ball, Paul Drijvers, Silke Ladel, Hans-Stefan Siller, Michal Tabach, Colleen Vale
Antal sider	11
Udgivelsessted	Germany
Forlag	Springer VS
Publikationsdato	2018
Sider	375-385
ISBN (Trykt)	978-3-319-76574-7
DOI	https://doi.org/10.1007/978-3-319-76575-4
Status	Udgivet - 2018
Udgivet eksternt	Ja

Adgang til dokumentet

10.1007/978-3-319-76575-4

Citationsformater

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. red. / Lynda Ball; Paul Drijvers; Silke Ladel; Hans-Stefan Siller; Michal Tabach; Colleen Vale. Germany : Springer VS, 2018. s. 375-385.

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › 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 -