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