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

Abstract

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)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More