Related papers: The teaching of proof
We introduce a novel task consisting in assigning a proof to a given mathematical statement. The task is designed to improve the processing of research-level mathematical texts. Applying Natural Language Processing (NLP) tools to research…
"Mathematicians, like physicists, are pushed by a strong fascination. Research in mathematics is hard, it is intellectually painful even if it is rewarding, and you would not do it without some strong urge." [D. Ruelle]. We shall give some…
We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We describe the existing and planned functionality of the theorem…
Studying Mathematics requires a synthesis of skills from a multitude of academic disciplines; logical reasoning being chief among them. This paper explores mathematical logical preparedness of students entering first year university…
Mathematical maturity is a key concept for the professional life of a mathematician. This paper is not only a brief discussion of the importance of mathematical maturity but also presents some unusual ways we can use the concept to help our…
In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem provers, students write out their proofs inside the software…
University students taking introductory physics are generally successful executing mathematical procedures in context, but often struggle with the use of mathematical concepts for sense making. Physics instructors note that their students…
The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic. Formal proofs in the sequent calculus are finite trees obtained…
Pre-college mathematics modeling instruction often frames mathematics as being separated from reasoning about the real world -- and commonly treats reasoning mathematically and reasoning about the real-world context as separate stages of a…
This chapter takes a historical view of the development of mathematics education, from its initial status as a business mostly managed by mathematicians to the birth of mathematics education as a scientific field of research. Starting from…
Even if students can make the blend, interpret physics correctly in mathematical symbology and graphs, they still need to be able to apply that knowledge in productive and coherent ways. As instructors, we can show our solutions to complex…
Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in this. Our actions affect what others, in particular our…
The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
We discuss a practical method for assessing mathematical proof online. We examine the use of faded worked examples and reading comprehension questions to understand proof. By breaking down a given proof, we formulate a checklist that can be…
The amount of published research in Physics Education Research (PER) shows, on one hand, an increasing interest in the design and development of high performance physics teaching strategies, and, on the other hand, it tries to understand…
Technology has helped to innovate in the teaching-learning process. Today's students are more demanding actors when it comes to the environment, they have at their disposal to learn, experiment and develop critical thinking. The area of…
In this paper, I explore what mathematical research can tell us about ourselves, and our role in the world, using examples from my own experience. The paper is a sequel to my piece "Mathematics is a Quest for Truth", published in the…
Evidence-based teaching is based upon a model of learning in which assessment plays a central role.
The mathematisation of the socio-economic sphere, where mathematics actively constructs social reality, presents a challenge for studies on ethics in mathematics and its education. While existing scholarship on ethics in mathematics offers…