Abstract:Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in as much detail as our need for eliminating risk might require. For those who do not happen to have direct access to the realm of mathematical truths, the modern field of formalized mathematics has quite a few lessons to contribute, and one might pay heed to what it has to say, for instance, about: the importance of employing proof strategies; the fine control of automation in unraveling the structure of a certain proof object; reasoning forward from the givens and backward from the goals, in developing proof scripts; knowing when and how definitions and identities apply in a helpful way, and when they do not apply; seeing proofs [and refutations] as dynamical objects, not reflected by the static derivation trees that Proof Theory wants them to be. I believe that the great challenge for teachers and learners resides currently less on the availability of suitable generic tools than in combining them wisely in view of their preferred education paradigms and introducing them in a way that best fits their specific aims, possibly with the help of intelligent online interactive tutoring systems. As a proof of concept, a computerized proof assistant that makes use of several successful tools already freely available on the market and that takes into account some of the above findings about teaching and learning Logic is hereby introduced. To fully account for our informed intuitions on the subject it would seem that a little bit extra technology would still be inviting, but no major breakthrough is really needed: We are talking about tools that are already within our reach to develop, as the fruits of collaborative effort.

Transforming Perceptions of Proof: A Four-Part Instructional Sequence

From Collaborative Construction, Through Whole-Class Presentation, to a Posteriori Reflection: Proof Progression in a Topology Classroom

Student Sense-Making in Post-Secondary Introductory Proof Courses: An Argument for and Outline of a Methodological Approach

Bridging knowing and proving in mathematics An essay from a didactical perspective

Transitioning to proof via writing scripts on the rules of a new discourse

Notes for a study of the didactic transposition of mathematical proof

Fail better: What formalized math can teach us about learning

Mathematical Proofs 101: How Proofs Should Be Read, Written, and Taught

What Can You Infer from This Example? Applications of Online, Rich-Media Tasks for Enhancing Pre-service Teachers’ Knowledge of the Roles of Examples in Proving

Investigation of Prospective Mathematics Teachers’ Proof Completion Processes Supported By Key Ideas

Sociomathematical scaffolding as students engage in revising draft definitions, conjectures, and proofs

Teaching Simple Constructive Proofs with Haskell Programs

Reflective Groupwork for Introductory Proof-Writing Courses

Preparing Elementary School Teachers to Learn From Teaching: A Comparison of Two Approaches to Mathematics Methods Instruction

Guiding Science and Mathematics Learning when Students Construct Representations

Providing a video-case-based professional development environment for prospective mathematics teachers to notice students’ misconceptions in measurement

Seeing quadratics in a new light: secondary mathematics pre-service teachers’ creation of figural growing patterns

Teaching Pre-service Teachers to Make Digital Stories that Explain Complex Mathematical Concepts in a Real-World Context: The “Math-eo” Project, Creating “Cool New Tools”

Knowledge and Competencies of Prospective Teachers for the Creation of Proportionality Problems

Teaching the Conceptual Structure of Mathematics

Relation Between Mathematical Proof Problem Solving, Math Anxiety, Self-Efficacy, Learning Engagement, and Backward Reasoning