The Non-universality of an Algorithm to decide if a point is in the exterior or on the boundary of a closed constructive set
It seems we can find if a point is on the boundary or in the exterior of a closed constructive set. However, this is not true in constructive math. This paper investigates the algorithmic decidability of determining the position of rational points relative to closed sets given as the intersection of closed intervals with rational endpoints.
Authors
- Yuzheng Bao
- Y. G. Li (ORCID: https://orcid.org/0000-0002-9011-8226)
- Sicong Liu (ORCID: https://orcid.org/0000-0003-1612-4844)
- L. Yuan (ORCID: https://orcid.org/0009-0001-2674-5241)
Publication Details
- Journal
- Science and Technology of Engineering Chemistry and Environmental Protection
- Published
- 2025-02-26
- DOI
- https://doi.org/10.61173/zejek210
- Primary Topic
- Advanced Numerical Analysis Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00