English

Computable planar paths intersect in a computable point

Logic 2018-02-26 v2

Abstract

Consider two paths f,g:[0;1][0;1]2f,g:[0;1]\to [0;1]^2 on the unit square such that f(0)=(0,0)f(0)=(0,0), f(1)=(1,1)f(1)=(1,1), g(0)=(0,1)g(0)=(0,1), g(1)=(1,0)g(1)=(1,0), f(0;1)(0;1)2f(0;1)\subseteq (0;1)^2 and g(0;1)(0;1)2g(0;1)\subseteq (0;1)^2. By continuity of ff and gg there is a point of intersection. We prove that there is a computable point of intersection if the paths are computable.

Keywords

Cite

@article{arxiv.1708.07460,
  title  = {Computable planar paths intersect in a computable point},
  author = {Klaus Weihrauch},
  journal= {arXiv preprint arXiv:1708.07460},
  year   = {2018}
}
R2 v1 2026-06-22T21:22:49.633Z