
06451896
a
2015d.00490
M\"ullerHill, Eva
The epistemic status of formalizable proof and formalizability as a metadiscursive rule.
Ubuz, Behiye (ed.) et al., CERME 8. Proceedings of the eigth congress of the European Society of Research in Mathematics Education, Antalya, Turkey, February 610, 2013. Ankara: Middle East Technical University (ISBN 9789754293159). 186195 (2013).
2013
Ankara: Middle East Technical University
EN
E50
E40
E20
mathematical proof
formalizability
epistemology
sociology
metadiscursive rules
Summary: The first two parts of this article report on a study that was part of my dissertation project at the interface of epistemology and sociology of mathematics. The study deals with the epistemic role of formalizability, which is traditionally held to be the main epistemic feature of mathematical proofs, in actual mathematical (research) practice. As a core result, it is argued that formalizability should be understood as a feature of discursive proving actions as the true bearers of epistemic value. As I discuss in the last part of the article, this insight opens the way for a shift to an educational perspective on proof in mathematical research practice. Sfard's approach to mathematical thinking as communication, with the concept of metadiscursive rules in particular, serves well as a conceptual framework to that end.