Computers can work only with computable numbers, while most of the algorithms are based on analysis of real numbers (real analysis).
When I heard of the existence of computable analysis I immediately had these questions:
- Can it help numerical analysis in some way?
- Can we for example, help prove convergence of algorithms that are not convergent in the reals?
- Can we find different algorithms that work for computables faster than they do for reals?