Computable planar curves intersect in a computable point

Weihrauch, K

Weihrauch, K (reprint author), Fernuniv, Fak Math & Informat, Univ Str 1, D-58084 Hagen, Germany.

COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019; 8 (3-4): 399

Abstract

Consider two paths f, g : [0; 1] -> [0; 1](2) in the unit square such that f (0) = (0, 0), f (1) = (1, 1), g(0) = (0, 1) and g (1) = (1, 0). By con......

Full Text Link