Lines missing every random point
Jack H. Lutz, Neil Lutz · Computability · 2015
Abstract We prove that there is, in every direction in Euclidean space, a line that misses every computably random point. We also prove that there exist, in every direction in Euclidean space, arbitrarily long line segments missing every double exponential time random point.