The power of backtracking and the confinement of length
arXiv:1106.3310
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.