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.

arXiv commentAdded a section: "Betting in Doubly Exponential Time."