As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

The uniformly most accurate (UMA) is an important optimal approach in interval estimation, but the current literature often introduces it in a confusing way, rendering the learning, teaching and researching of UMA problematic. Two major aspects cause this confusion. First, UMA is often interpreted to maximize the accuracy of coverage, but in fact,…

This article is about utilizing the process of building and exploiting models as a framework for inquiry in mathematics education research. We introduce and discuss a model of such a process and compare this model with key methodological features of design research in mathematics education. We argue that despite several communalities, educational…

The notions of meaning and sense, which are closely related to understanding, play an essential role in educational processes in general and, therefore, in the teaching and learning of mathematics. However, the terms 'meaning' and 'sense' are unevenly used in the theory of language, semiotics, philosophy and psychology. After describing the main…

In its mathematics standards, National Council of Teachers of Mathematics (NCTM) states that problem solving is an integral part of all mathematics learning and exposure to problem solving strategies should be embedded across the curriculum. Furthermore, by high school, students should be able to use, decide and invent a wide range of strategies.…

Simple examples are really encouraging in the understanding of rearrangements of infinite series, since many texts and teachers provide only existence theorems. In the absence of examples, an existence theorem is just a statement and lends little confidence to understanding. Iterated sums of double series seem to have a similar spirit of…