Abstract:
We examine some ways of proving the Implicit Function Theorem and
the Inverse Function Theorem within Bishop's constructive mathematics.
Section 2 contains a new, entirely constructive proof of the Implicit Function Theorem. The paper ends with some comments on the application
of the Implicit Function Theorem in classical mechanics