Constructive mathematics and teaching - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Preprints, Working Papers, ... Year : 2023

Constructive mathematics and teaching

Alexander Shen


Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical) counterpart: a student of a mathematics class wants to know what will the teacher accept as a correct solution of a homework problem. Here the logical structure of the claim is also very important, and we discuss several types of problems and their use in teaching mathematics.

Dates and versions

lirmm-04241179 , version 1 (13-10-2023)



Alexander Shen. Constructive mathematics and teaching. 2023. ⟨lirmm-04241179⟩
8 View
2 Download



Gmail Facebook X LinkedIn More