Communication Dans Un Congrès Année : 2025

A model-theoretic approach to didactic research on proof and proving in mathematics

Résumé

The model-theoretic approach developed by Tarski in the first half of the 20th century aimed at building a bridge between formal systems and reality, including mathematics. In this theoretical paper, we first present the main features of the model-theoretic approach, which we illustrate by presenting and discussing the axiomatic systems provided by Tarski for the foundations of arithmetic of real numbers. In the second part, we highlight and illustrate, on the basis of previous works, the value of a model-theoretic approach for didactic research on proof and proving in mathematics. This supports the claim that the model-theoretic approach developed by Tarski provides researchers with a logical framework for addressing critical questions about the dialectical relationship between syntax and semantics in proof and proving, from a didactic perspective.

Fichier principal
Vignette du fichier
07_TWG01-Durand-Guerrier-147.pdf (260.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05160960 , version 1 (14-07-2025)

Licence

Identifiants

  • HAL Id : hal-05160960 , version 1

Citer

Viviane Durand-Guerrier. A model-theoretic approach to didactic research on proof and proving in mathematics. Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), Free University of Bozen-Bolzano; ERME, Feb 2025, Bozen-Bolzano, Italy. ⟨hal-05160960⟩
91 Consultations
163 Téléchargements

Partager

  • More