The mean value theorem in second order arithmetic

DOI10.2307/2695111MaRDI QIDQ2758063zbMATH OpenOpenAlexFDO

Authors Christopher S. Hardin, Daniel J. Velleman

Publication date 18 July 2002

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2695111

zbMATH Keywords

derivativedifferentiablemean valuereverse mathematicsRolle's theorem

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Review text

This article extends the program of reverse mathematics cofounded by \textit{S. G. Simpson} [Subsystems of second order arithmetic, Berlin: Springer (1999; Zbl 0909.03048)]. Working in RCA\(_0\), the authors prove the following version of Rolle's theorem: If \(\Phi\) is a function which is continuous on \([0,1]\), differentiable on \((0,1)\), and satisfies \(\Phi (0) = \Phi (1) = 0\), then there is a \(w \in (0,1)\) such that \(\Phi^\prime (w) = 0\). As an immediate corollary, they obtain a proof in RCA\(_0\) of the mean value theorem. The theorems are based on a pointwise definition of differentiability, rather than asserting the existence of a derivative function. The authors thoughtfully include all the necessary coding information.

Recommendations

• scientific article; zbMATH DE number 3924748
• Reverse-engineering reverse mathematics
• Complex analysis in subsystems of second order arithmetic
• A complexification of Rolles's theorem
• On the integral mean value theorem

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Rethinking Rigor in Calculus: The Role of the Mean Value Theorem

Cited in

(3)

• A constructive proof of Simpson's rule
• The maximal linear extension theorem in second order arithmetic
• Complex analysis in subsystems of second order arithmetic

This page was built for publication: The mean value theorem in second order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758063)