Understanding mathematical texts: a hermeneutical approach

The work done so far on the understanding of mathematical (proof) texts focuses mostly on logical and heuristical aspects; a proof text is considered to be understood when the reader is able to justify inferential steps occurring in it, to defend it against objections, to give an account of the "main ideas ", to transfer the proof idea to other contexts etc. (see, e.g., Avigad in The philosophy of mathematical practice, Oxford University Press, Oxford, 2008). In contrast, there is a rich philosophical tradition dealing with the concept of understanding and interpreting texts, namely philosophical hermeneutics, represented, e.g., by Schleiermacher, Dilthey, Heidegger or Gadamer. In this tradition, "understanding " generally refers to the integration in a comprehensive (historical, existential, life-worldly, ...) context. In this article, we take some first steps towards exploring the question how the ideas from philosophical hermeneutics presented in Gadamer's "Truth and Method " apply to mathematical texts and what (if anything) can be learned from these for the didactics and presentation of mathematics.