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; 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 proceedingArticle in proceedingsResearchpeer-review

Harvard

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.

APA

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.

Vancouver

Misfeldt M, Danielsen K, Sørensen HK. 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. 2015. p. 433-446

Author

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

Bibtex

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

}

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

ID: 164418063