pith. sign in

arxiv: 1708.07460 · v2 · pith:HYZBT7URnew · submitted 2017-08-24 · 🧮 math.LO

Computable planar paths intersect in a computable point

classification 🧮 math.LO
keywords computablepathspointintersectionsubseteqthereconsidercontinuity
0
0 comments X
read the original abstract

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

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.