Lines Missing Every Random Point

Jack H. Lutz, Neil Lutz

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 spa…