Preprints, Working Papers, ... Year : 2024

Teaching and learning proof in mathematics at university: new perspectives in education with proof assistants?

Abstract

This article (work in progress) investigates the potential of proof assistants (PAs) in the teaching and learning of mathematical proofs at the university level, with a focus on addressing students' difficulties during the transition from secondary to tertiary education. This transition involves a significant shift in students' relationship to mathematical proofs. PAs appear as additional teaching tools with pedagogical and didactic potential. They can provide immediate feedback, facilitate structured proof writing, and enhance students' engagement with formalization and formal reasoning. However, careful considerations regarding interface design, feedback mechanisms and instrumental geneses are presented. This article concludes by emphasizing the need for further research and development in PA-based proof education, particularly in bridging the gap between argumentation and formal proof, and in adapting PAs to different student needs, in a collaborative research perspective.

Fichier principal
Vignette du fichier
IMEDIL_COB_14dec2024_HAL.pdf (364.37 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence

Dates and versions

hal-04838823 , version 1 (15-12-2024)

Licence

Identifiers

  • HAL Id : hal-04838823 , version 1

Cite

Cécile Ouvrier-Buffet. Teaching and learning proof in mathematics at university: new perspectives in education with proof assistants?. 2024. ⟨hal-04838823⟩
231 View
862 Download

Share

  • More