Which Mathematics for the Information Society?

Abstract

Abstract. MathIS is a new project that aims to reinvigorate secondaryschool mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.We are all shaped by the tools we use, in particular the formalisms we use shape our thinking habits, for better or for worse, and that means we have to be very careful in the choice of what we learn and teach, for unlearning is really not possible.-E. W. DIJKSTRA in [15]

A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra

“…criteria based on parity as in the example given for Pascal's triangle). This paper is part of an endeavour which aims at reinvigorating mathematical content by adopting a calculational style of reasoning [6,19,14,20,21]. As suggested by the results shown in [22], the calculational method can indeed have a positive impact on mathematics education.…”

Designing an Algorithmic Proof of the Two-Squares Theorem

“…We conclude by mentioning that this paper is part of a larger endeavour which aims at reinvigorating mathematics education by exploiting mathematics' algorithmic nature [13,12,25]. In our view, the combination of practicality with mathematical elegance that arises from an adequate focus on the algorithmic content of mathematics can enrich and improve, not only mathematics education, but also the process of constructing computer programs.…”

Continuity as a computational effect

“…Proofs, as he taught us every day, are basically honest explanations, bearing evidence in a fixed formal context, and therefore must be conveyed in a crisp, clear, easily reproducible style, letting the underlying structure to emerge and helping to build the correct intuitions. Years later, in the context of a joint research project [15], José championed the use of calculational, pointfree reasoning as a way of reinvigorating the role of proof in elementary mathematical education.…”