HackerPapers

arXiv:2305.19882math.HO

Constructive mathematics and teaching

Alexander Shen

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

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.

arXiv comments
Talk at CM:FP 2023 (Constructive mathematics: foundations and practice) conference
Journal reference
DOI
Subjects
math.HOHistory and Overview math.LOLogic

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Jun 2023 to Jun 2023. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.