Computable planar paths intersect in a computable point
Logic
2018-02-26 v2
Abstract
Consider two paths on the unit square such that , , , , and . By continuity of and 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}
}