Uniform van Lambalgen's theorem fails for computable randomness

摘要

We show that there exists a bitsequence that is not computably random for which the odd bits are computably random and the even bits are computably random relative to the odd bits.