Prefer a chat interface with context about you and your work?
The power of backtracking and the confinement of length
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.