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?
Are there any benefits of computable analysis to numerical algorithms
numerical analysis;convergence;approximation algorithms