Algorithmically determining whether a rational point is inside an open, constructive set or on the boundary of it is generally impossible

Abstract

We can determine whether this point is in the interior, boundary, or exterior of this set. In constructive mathematics, this is not always the case. The aim of this research is to demonstrate that it is generally impossible to algorithmically determine whether a point is in an open, constructive set or at its boundaries.