Genericity and UD-random reals

Abstract

Avigad introduced the notion of UD-randomness based in Weyl's 1916 definition of uniform distribution modulo one.  We prove that there exists a weakly 1-random real that is neither UD-random nor weakly 1-generic.  We also show that no 2-generic real can Turing compute a UD-random real.