Pointwise Mean Value Theorems in Constructive Mathematics
We answer some questions regarding the mean value theorem and related results in constructive mathematics. The answers to these questions reveal interesting properties of the Mean Value Theorem, Law of Bounded Change, and Constancy Principle. We see that, in contrast to the Intermediate Value Theorem whose approximate analogue was shown to hold constructively by Frank, the natural approximate versions of these theorems fail to hold in neutral constructive mathematics. Our proof of this makes use of the existence of a topos in which the real numbers are in bijection with the naturals, which…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.21738
curl -X POST /api/v1/records/arxiv/2606.21738/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.21738/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'