What is Continuity, Constructively?
| dc.creator | Schuster,Peter | |
| dc.date | 2005 | |
| dc.date.accessioned | 2024-02-06T12:54:04Z | |
| dc.date.available | 2024-02-06T12:54:04Z | |
| dc.description | The concept of continuity for mappings between metric spaces should coincide with that of uniform continuity in the case of a compact domain, and still give rise to a category. In Bishop's constructive mathematics both requests can be fulfilled simultaneously, but then the reciprocal function has to be abandoned as a continuous function unless one adopts the fan theorem. This perhaps little satisfying situation could be avoided by moving to a point-free setting, such as formal topology, in which infinite coverings are defined mainly inductively. The purpose of this paper is to discuss the earlier situation and some recent developments. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-011-12-2076 | |
| dc.identifier | https://lib.jucs.org/article/28535/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8907 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 11(12): 2076-2085 | |
| dc.subject | continuity | |
| dc.subject | constructive mathematics | |
| dc.title | What is Continuity, Constructively? | |
| dc.type | Research Article |