Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Standard

Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School. / Misfeldt, Morten; Danielsen, Kristian; Krag Sørensen, Henrik.

History and Epistemology in Mathematics Education. ed. / Evelyne Barbin; Uffe Thomas Jankvist; Tinne Hoff Kjeldsen. Vol. 1 1. ed. Danmarks Pædagogiske Universitet, 2015. p. 433-446.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Harvard

Misfeldt, M, Danielsen, K & Krag Sørensen, H 2015, Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School. in E Barbin, UT Jankvist & TH Kjeldsen (eds), History and Epistemology in Mathematics Education. 1 edn, vol. 1, Danmarks Pædagogiske Universitet, pp. 433-446.

APA

Misfeldt, M., Danielsen, K., & Krag Sørensen, H. (2015). Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School. In E. Barbin, U. T. Jankvist, & T. H. Kjeldsen (Eds.), History and Epistemology in Mathematics Education (1 ed., Vol. 1, pp. 433-446). Danmarks Pædagogiske Universitet.

Vancouver

Misfeldt M, Danielsen K, Krag Sørensen H. Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School. In Barbin E, Jankvist UT, Kjeldsen TH, editors, History and Epistemology in Mathematics Education. 1 ed. Vol. 1. Danmarks Pædagogiske Universitet. 2015. p. 433-446

Author

Misfeldt, Morten ; Danielsen, Kristian ; Krag Sørensen, Henrik. / Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School. History and Epistemology in Mathematics Education. editor / Evelyne Barbin ; Uffe Thomas Jankvist ; Tinne Hoff Kjeldsen. Vol. 1 1. ed. Danmarks Pædagogiske Universitet, 2015. pp. 433-446

Bibtex

@inproceedings{489ece4dba904be0a584356ad1dd8e29,
title = "Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School",
abstract = "This paper investigates conceptions of mathematical investigation and proof inupper-secondary students. The focus of the paper is an intervention that scaffolds theinteraction between open explorative activities and the development of proof sketchesthrough explorations of lattice polygons, aiming at proving Pick{\textquoteright}s theorem. In theprocess we investigate whether and how the conceptions of proofs and explanationsin mathematics change. We work with the hypothesis that the problem of supportingthe transition to deductive proofs in upper-secondary school students can at leastpartly be explained as a problem of bringing their empirical investigations into thedeductive proof process in relevant and productive ways. Through our analyses of theportfolios and deliberations of the students, we are able to assess their performanceof proofs and the conceptions of mathematical methodology before and after theintervention.",
author = "Morten Misfeldt and Kristian Danielsen and {Krag S{\o}rensen}, Henrik",
year = "2015",
month = dec,
day = "1",
language = "English",
isbn = "978-87-7684-737-1",
volume = "1",
pages = "433--446",
editor = "Evelyne Barbin and Jankvist, {Uffe Thomas} and Kjeldsen, {Tinne Hoff}",
booktitle = "History and Epistemology in Mathematics Education",
publisher = "Danmarks P{\ae}dagogiske Universitet",
edition = "1",

}

RIS

TY - GEN

T1 - Formal Proof And Exploratory Experimentation: A Lakatosian View On The Interplay Between Examples And Deductive Proof Practices In Upper- Secondary School

AU - Misfeldt, Morten

AU - Danielsen, Kristian

AU - Krag Sørensen, Henrik

PY - 2015/12/1

Y1 - 2015/12/1

N2 - This paper investigates conceptions of mathematical investigation and proof inupper-secondary students. The focus of the paper is an intervention that scaffolds theinteraction between open explorative activities and the development of proof sketchesthrough explorations of lattice polygons, aiming at proving Pick’s theorem. In theprocess we investigate whether and how the conceptions of proofs and explanationsin mathematics change. We work with the hypothesis that the problem of supportingthe transition to deductive proofs in upper-secondary school students can at leastpartly be explained as a problem of bringing their empirical investigations into thedeductive proof process in relevant and productive ways. Through our analyses of theportfolios and deliberations of the students, we are able to assess their performanceof proofs and the conceptions of mathematical methodology before and after theintervention.

AB - This paper investigates conceptions of mathematical investigation and proof inupper-secondary students. The focus of the paper is an intervention that scaffolds theinteraction between open explorative activities and the development of proof sketchesthrough explorations of lattice polygons, aiming at proving Pick’s theorem. In theprocess we investigate whether and how the conceptions of proofs and explanationsin mathematics change. We work with the hypothesis that the problem of supportingthe transition to deductive proofs in upper-secondary school students can at leastpartly be explained as a problem of bringing their empirical investigations into thedeductive proof process in relevant and productive ways. Through our analyses of theportfolios and deliberations of the students, we are able to assess their performanceof proofs and the conceptions of mathematical methodology before and after theintervention.

M3 - Article in proceedings

SN - 978-87-7684-737-1

VL - 1

SP - 433

EP - 446

BT - History and Epistemology in Mathematics Education

A2 - Barbin, Evelyne

A2 - Jankvist, Uffe Thomas

A2 - Kjeldsen, Tinne Hoff

PB - Danmarks Pædagogiske Universitet

ER -

ID: 231952159