Gács-Kučera's Theorem Revisited by Levin

Abstract

Leonid Levin [12] published a new (and very nice) proof of Gács-Kučera's theorem that occupies only a few lines when presented in his style. We try to explain more details and discuss the connection of this proof with image randomness theorems, making explicit some result (see Proposition 4) that is implicit in [12].