The power of backtracking and the confinement of length
classification
🧮 math.LO
keywords
computablebelongcurvelengthpointrectifiabletherebacktracking
read the original abstract
We show that there is a point on a computable arc that does not belong to any computable rectifiable curve. We also show that there is a point on a computable rectifiable curve with computable length that does not belong to any computable arc.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.