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

Morten Misfeldt, Uffe Thomas Jankvist

The Center for Applied Game Research

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

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 : Tools, Topics and Trends
Redaktører	Lynda Ball, Paul Drijvers, Silke Ladel, Hans-Stefan Siller, Michal Tabach, Colleen Vale
Antal sider	11
Udgivelsessted	Cham, Switzerland
Forlag	Springer
Publikationsdato	2018
Sider	375-385
Kapitel	22
ISBN (Trykt)	978-3-319-76574-7
ISBN (Elektronisk)	978-3-319-76575-4
DOI	https://doi.org/10.1007/978-3-319-76575-4
Status	Udgivet - 2018
Begivenhed	ICME, 13 International Congress on Mathematics Education - University of Hamburg, Hamburg, Tyskland Varighed: 24 jul. 2016 → 31 jul. 2016 Konferencens nummer: 13

Konference

Konference	ICME, 13 International Congress on Mathematics Education
Nummer	13
Lokation	University of Hamburg
Land/Område	Tyskland
By	Hamburg
Periode	24/07/2016 → 31/07/2016

Navn	ICME-13 Monographs
ISSN	2520-8322

Adgang til dokumentet

10.1007/978-3-319-76575-4Licens: Ikke-specificeret

https://link.springer.com/content/pdf/10.1007%2F978-3-319-76575-4_22.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link til bog

Citationsformater

Misfeldt, M., & Thomas Jankvist, U. (2018). Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. I L. Ball, P. Drijvers, S. Ladel, H-S. Siller, M. Tabach, & C. Vale (red.), Uses of Technology in Primary and Secondary Mathematics Education: Tools, Topics and Trends (s. 375-385). Springer. https://doi.org/10.1007/978-3-319-76575-4

Misfeldt, Morten ; Thomas Jankvist, Uffe. / Instrumental genesis and proof : Understanding the use of computer algebra systems in proofs in textbooks. Uses of Technology in Primary and Secondary Mathematics Education: Tools, Topics and Trends. red. / Lynda Ball ; Paul Drijvers ; Silke Ladel ; Hans-Stefan Siller ; Michal Tabach ; Colleen Vale. Cham, Switzerland : Springer, 2018. s. 375-385 (ICME-13 Monographs).

@inbook{1b41f6f300874aa3b97827a0d19efb76,

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",

series = "ICME-13 Monographs",

publisher = "Springer",

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",

address = "Germany",

note = "ICME, 13 International Congress on Mathematics Education, ICME ; Conference date: 24-07-2016 Through 31-07-2016",

}

Misfeldt, M & Thomas Jankvist, U 2018, Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. i L Ball, P Drijvers, S Ladel, H-S Siller, M Tabach & C Vale (red), Uses of Technology in Primary and Secondary Mathematics Education: Tools, Topics and Trends. Springer, Cham, Switzerland, ICME-13 Monographs, s. 375-385, ICME, 13 International Congress on Mathematics Education, Hamburg, Tyskland, 24/07/2016. https://doi.org/10.1007/978-3-319-76575-4

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: Tools, Topics and Trends. red. / Lynda Ball; Paul Drijvers; Silke Ladel; Hans-Stefan Siller; Michal Tabach; Colleen Vale. Cham, Switzerland: Springer, 2018. s. 375-385 (ICME-13 Monographs).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

TY - CHAP

T1 - Instrumental genesis and proof

T2 - ICME, 13 International Congress on Mathematics Education

AU - Misfeldt, Morten

AU - Thomas Jankvist, Uffe

N1 - Conference code: 13

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

UR - https://link.springer.com/book/10.1007%2F978-3-319-76575-4

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

T3 - ICME-13 Monographs

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

CY - Cham, Switzerland

Y2 - 24 July 2016 through 31 July 2016

ER -

Misfeldt M, Thomas Jankvist U. Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. I Ball L, Drijvers P, Ladel S, Siller H-S, Tabach M, Vale C, red., Uses of Technology in Primary and Secondary Mathematics Education: Tools, Topics and Trends. Cham, Switzerland: Springer. 2018. s. 375-385. (ICME-13 Monographs). doi: 10.1007/978-3-319-76575-4

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

Abstract

Konference

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater