Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school

Morten Misfeldt; Kristian Danielsen; Henrik Kragh Sørensen

Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school

Morten Misfeldt, Kristian Danielsen, Henrik Kragh Sørensen

Original language	Danish
Title of host publication	History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University
Publisher	Danish School of Education, Aarhus University
Publication date	2015
Pages	433-446
ISBN (Electronic)	978-87-7684-736-4
Publication status	Published - 2015
Externally published	Yes

Cite this

Misfeldt, M., Danielsen, K., & Sørensen, H. K. (2015). Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school. In History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University (pp. 433-446). Danish School of Education, Aarhus University.

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; Sørensen, Henrik Kragh.

History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, 2015. p. 433-446.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Misfeldt, M, Danielsen, K & Sørensen, HK 2015, Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school. in History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, pp. 433-446.

Misfeldt, Morten ; Danielsen, Kristian ; Sørensen, Henrik Kragh. / 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. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, 2015. pp. 433-446

@inproceedings{2fc5a87c908e47f1bdf856cc18490be3,

title = "Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school",

author = "Morten Misfeldt and Kristian Danielsen and S{\o}rensen, {Henrik Kragh}",

year = "2015",

language = "Dansk",

pages = "433--446",

booktitle = "History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University",

publisher = "Danish School of Education, Aarhus University",

}

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 - Sørensen, Henrik Kragh

PY - 2015

Y1 - 2015

M3 - Konferencebidrag i proceedings

SP - 433

EP - 446

BT - History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University

PB - Danish School of Education, Aarhus University

ER -