Can the set of computable numbers be used as a theoretical basis for calculus?

analysis philosophy

Solution 1:

You can see at least Constructive Mathematics from Douglas Bridges and google for : Douglas Bridges, Introducing Constructive Mathematics.

You can also read online D.Bridges' FAQ list on Constructive Mathematics.

For calculus, see :

  • Errett Bishop, Foundations of constructive analysis (1967).

  • Errett Bishop & Douglas Bridges, Constructive Analysis (1985).

Related

What is the relation between dx in elementary calculus and dx in differential geometry?
Knowing when to ask for help
Why 6 races are not sufficient in the 25 horses, 5 tracks problem
Dividing a unit square into rectangles
How to complete Vakil's proof that the composition of projective morphisms are projective when the target is quasicompact?
There are $10$ commutative rings of order $8$
Books to release our inner Ubermensch with calculus?
How was "Number of ways of arranging n chords on a circle with k simple intersections" solved?
Inequality for Distribution of points in space
Why are there multiple Jordan Blocks corresponding to the same eigenvalue?
are there known cases where $\binom{n}{k}$ is a perfect prime power?
Expected Number of Flips for a Sequence of 4 to Repeat