The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

Mathematics in its nature is exploratory, giving learners a chance to view it from different perspectives. However, during most of their schooling, South African learners are rarely exposed to mathematical explorations, either because of the lack of resources or the nature of the curriculum in use. Perhaps, this is due to teachers' inability to…

When a Year 7 student physically reacted to a prompt of another student by anxiously drumming the desk with his ruler, exclaiming "uuuuhh", the initial thought of the observing researcher, Laura, was: "this is an interesting account". This started a reflective journey of first applying robust research methodologies to the…

In this paper, we discuss the relationship between rhetoric and mathematics, focusing on mathematical proofs. We offer a theoretical framework based on Perelman's New Rhetoric for analyzing the teaching of proof, taking into account rhetorical aspects. We illustrate the practicality and applicability of the proposed framework and methodology by…

Conviction is a central construct in mathematics education research on justification and proof. In this paper, we claim that it is important to distinguish between absolute conviction and relative conviction. We argue that researchers in mathematics education frequently have not done so and this has lead to researchers making unwarranted claims…

Weber and Alcock's (2004, 2009) syntactic/semantic framework provides a useful means of delineating two basic categories of proof-oriented activity. They define their dichotomy using Goldin's (1998) theory of representation systems. In this paper, I intend to clarify the framework by providing criteria for classifying student reasoning into…

This communication aims at revealing the potential of statement-posing tasks to facilitate students' thinking and strategies of understanding proof. Besides outlining the background of statement-posing tasks, four points were advanced as potential benefits of the tasks: (1) focusing on the logic of arguments in addition to the meaning of…

How are we to understand the power of certain literary metaphors? The author argues that the apprehension of good metaphors is importantly similar to the apprehension of fruitful mathematical analogies: both involve a structural realignment of vision. The author then explores consequences of this claim, drawing conceptually significant parallels…

Many mathematics educators have noted that mathematicians do not only read proofs to gain conviction but also to obtain insight. The goal of this article is to discuss what this insight is from mathematicians' perspective. Based on interviews with nine research-active mathematicians, two sources of insight are discussed. The first is reading a…