### Differentiating convex functions constructively

#### Abstract

In classical analysis, both convex functions and increasing functions \([0,1] \to \RR\) are differentiable almost everywhere. We will show that constructively, while we can prove this for convex functions, we cannot do so for increasing ones.

#### Keywords

convex functions, constructive analysis, constructive reverse mathematics

#### Full Text:

8. [PDF]DOI: https://doi.org/10.4115/jla.2020.12.8

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008