Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > KEYWORD > EFFECTIVE GEOMETRIC MEASURE THEORY:
Reports tagged with effective geometric measure theory:
TR14-015 | 24th January 2014
Jack H. Lutz, Neil Lutz

Lines Missing Every Random Point

Revisions: 1

This paper proves that there is, in every direction in Euclidean space, a line that misses every computably random point. Our proof of this fact shows that a famous set constructed by Besicovitch in 1964 has computable measure 0.

more >>>



ISSN 1433-8092 | Imprint