Lines Missing Every Random Point

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.Comment: Added a section: "Betting in Doubly Exponential Time.