| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 431375 | The Journal of Logic and Algebraic Programming | 2010 | 8 Pages |
Abstract
If a continuous function on a complete metric space has approximate roots and in a uniform manner at most one root, then it actually has a root. We validate this heuristic principle in Bishop-style constructive mathematics without countable choice, and thus can shed some more light on the role played by the completion when it comes to solving equations.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
