Random reals and possibly infinite computations Part I: Randomness in the first jump of the halting problem

PDF de la publicación