Algorithmic Information Bounds for Distances and Orthogonal Projections

Peter Cholak, Marianna Csörnyei, Neil Lutz +3

We introduce a new technique for proving bounds on the Kolmogorov complexity of geometric objects in Euclidean space, such as points and lines. We apply this technique to prove two…